柯洁

IT

AI闯入数学界后，人们才懂柯洁的处境

AI开始“卷”数学：Lean成了大模型的新考场，但离RSI还很远人们曾把柯洁视为AI冲击人类的样本；如今，数学家也被推到相似的处境。OpenAI近期在数学形式化方向密集动作，引发…

万能的Siri
2026年11月4日
1.2K

【Anthropic据报利用Claude模型辅助自研芯片设计】
2026年11月3日
Share to:

又是一件科技圈大事，大家怎么看？11月3日有消息说，Anthropic悄悄拉起了一支15人的芯片设计小队，还拿自家的Claude模型来搞定制芯片的工程和设计。最近在投资者会上，公司透露了进展：工程师发现，跟英伟达、AMD这些芯片大厂的传统流程比，Claude能把芯片设计的时间明显缩短——一句话，AI自己给自己造“脑子”了。#大厂科技动态#
【Anthropic到2026年底算力规模将超过3.5吉瓦】
2026年11月3日
Share to:

11月3日，Anthropic在算力赛道上又踩了一脚油门：它已与亚马逊、谷歌、微软、SpaceX以及多家数据中心企业签下数十项协议。按上市招股书披露，公司承诺到2045年投入8954亿美元用于算力和芯片采购；今年算力规模预计超过3.5吉瓦，明年还要翻倍。为了跟上需求，Anthropic甚至拉上前加密货币矿企一起建数据中心，芯片和冷却设备也直接下场采购。算力胃口这么大，融资压力自然不小，公司正筹划IPO，募资规模可能达到1000亿美元。（广角观察）#大厂科技动态#
【网易智企发布基于易盾双向架构的AI原生安全产品体系】
2026年11月3日
Share to:

又是一件科技圈大新闻，大家怎么看？11月3日，网易智企在2026年世界互联网大会上亮出了一套基于易盾双向架构的AI原生安全产品体系，现场还拿到了互联网之光发布厅颁发的“首发成果证书”。这套体系着重铺了三层安全防线：AI内容与数据安全、AI交互与身份安全，以及AI模型与智能体安全。同时，还一口气端出三项成果——CMA审核智能体、DeepGuard人脸鉴伪，以及AI应用与智能体安全。（广角观察）#大厂科技动态#
中国正推动世界人工智能合作组织实体化运行进程
2026年11月3日
Share to:

11月3日，国家发展改革委举行新闻发布会，释放了一个和AI全球合作有关的进展：世界人工智能合作组织正在从“搭架子”走向“实体化运行”，目前已有38个国家作为创始成员国加入。

会上，国家发展改革委创新和高技术发展司副司长王若蒙表示，中方将落实《全球人工智能治理倡议》，按照相互尊重、互利共赢的原则，和各方多交流政策、多做务实合作；同时坚定推动人工智能开源普惠，鼓励各国打造更贴合自身文化特点和发展需求的智能系统。接下来，各方还会在人工智能发展战略、治理规则、技术标准等方面加强对接协调，争取尽快拿出一批接地气、可触达的合作成果。（央视新闻）#大厂科技动态#
DeepSeek网页及API服务已恢复，部分服务性能仍下降
2026年11月3日
Share to:

11月3日，DeepSeek在官网状态公告里更新了进展：此前网页和API服务部分中断的问题已经修复，团队还在继续观察修复效果。不过服务还没完全“满血”——DeepSeek V4 Pro、DeepSeek V4.1 Flash的API服务及对话服务仍存在性能下降的情况。（广角观察）#大厂科技动态#
姚顺宇否认创业：目前仍是DeepMind员工
2026年11月3日
Share to:

又是一件科技圈的热闹事，大家怎么看？

11月3日，“我压根没开公司，现在还是谷歌DeepMind的员工。”11月2日晚，针对网上疯传的“正在筹备一家RSI（递归自我改进）公司”的消息，华人AI科学家姚顺宇亲自下场辟谣。他一脸无奈地表示：“这假消息到底从哪冒出来的，我真是一头雾水。”（澎湃）#大厂科技动态#
【美团发布LongCat-2.5：1.6万亿参数原生多模态模型，全程国产算力训练】
2026年11月3日
Share to:

又是一件科技圈大事，大家怎么看？11月3日，美团发布了新一代大模型LongCat-2.5，主要面向长程智能体任务。模型总参数达到1.6万亿，每次token激活约480亿，整个训练过程基于国产算力完成，是目前国产算力平台上规模最大的训练任务。该模型原生支持多模态，能将视觉信号转换成离散token，与文本统一处理，同时强化了智能体编程和复杂软件开发的能力。

在评测方面，官方数据显示，LongCat-2.5在多项主流基准测试中的表现，介于Claude-Opus-4.8和Claude-Opus-5之间，部分指标甚至超过了Opus-5。此外，基于主业需求，美团还推出了AI经营工作台“妙手”，能在授权范围内调用工具，帮助商家进行经营分析、门店管理和决策执行，目前已落地古茗、益禾堂等连锁品牌。（广角观察）#大厂科技动态#
曙光云首个政企可信桌面级AI智能体OneBox发布
2026年11月3日
Share to:

又是一件科技圈大事，大家怎么看？11月3日，乌镇2026年“互联网之光”博览会上，曙光云拿出一款叫OneBox的桌面级AI智能体，直接入选了大会“新光”产品。这台“小盒子”支持私有化部署，单位可按岗位设置权限，员工通过桌面就能调用内部知识库和业务工具，所有敏感操作都有记录。说白了，就是让政企用户在不把数据带出家门、每步操作都有授权的前提下，踏踏实实用AI查资料、处理数据、写报告——省心又安全。（广角观察）#大厂科技动态#
OpenAI与Cathedral Systems达成网络安全合作
2026年11月3日
Share to:

11月3日，根据今日发布的声明，OpenAI与Cathedral Systems准备联手给系统安全“查漏补缺”：共同识别漏洞、验证修复方案，并把安全防护再加固一层。OpenAI同时重申，将在六个月内提供10亿美元补贴，支持一线网络安全防御人员获取并使用其AI技术。（广角观察）#大厂科技动态#
腾讯Marvis上架统信应用商店，完成国产操作系统整体布局
2026年11月3日
Share to:

11月3日，腾讯AI管家Marvis正式在统信UOS“安家”，X86-64与ARM64两种架构的安装包同步上架官方应用商店和deepin社区软件商店。继鸿蒙HarmonyOS、银河麒麟之后，Marvis的第三个国产操作系统版图也补齐了，至此完成对主流国产操作系统阵营的全面覆盖。用户在应用商店搜索“Marvis”即可一键下载安装，每人每天还有1000万Token免费额度——用不用得完另说，先把福利领了。（广角观察）#大厂科技动态#

柯洁

AI闯入数学界后，人们才懂柯洁的处境