Rebabel — 每日全球AI资讯

AI日报

陶哲轩Caltech重磅演讲《Math 2.0》：终结“唯证明论”，呼吁AI数学研究转向…｜AI日报 2026-10-12

陶哲轩Caltech重磅演讲《Math 2.0》：终结“唯证明论”，呼吁AI数学研究转向人类理解与开放阐释: 菲尔兹奖得主陶哲轩正式公开加州理工学院演讲《Math 2.0》全文与讲义，系统反思AI强攻数学引发的学科范式危机。陶哲轩指出，数学正在由传统的“证明稀缺”迈入算力驱动的“证明富足”时代，以往作为学术衡量指标的“解决开放问题”已不再等同于数学认知的推进；盲目优化AI解题能力已在实质上损害数学
AI日报

谷歌发布首款企业级办公智能体 Gemini Agent，破天荒支持调用 Claude｜AI日报 2026-10-10

谷歌发布首款企业级办公智能体 Gemini Agent，破天荒支持调用 Claude: 谷歌在 Gemini at Work 2026 大会上正式推出企业办公智能体 Gemini Agent，全面集成至 Workspace 生态。该智能体主打目标导向驱动，具备长期云端驻留与跨多应用编排能力，企业可为其分配独立企业邮箱、账号、存储空间与日历，将其作为具备独立身份的“数字同事”（Coworker Ag
AI日报

OpenAI兑现对赌Day 3：全面推送GPT-6并上线Intelligent UI智能交互界面｜AI日报 2026-10-09

OpenAI兑现对赌Day 3：全面推送GPT-6并上线Intelligent UI智能交互界面: 作为“28天连续发布”挑战的第3天更新，OpenAI宣布正式面向全球所有ChatGPT免费及付费用户推送GPT-6系列模型。其中付费Plus与Team用户接入GPT-6 Sol，免费与Go用户由GPT-6 Luna逐步替换GPT-5.6。本次更新核心引入了Intelligent UI（智能界面），聊
AI日报

OpenAI集中公开722篇未发布模型数学手稿，撕开准黎曼猜想等世纪难题边界｜AI日报 2026-10-08

OpenAI集中公开722篇未发布模型数学手稿，撕开准黎曼猜想等世纪难题边界: OpenAI正式在GitHub开源仓库`openai/math`集中公布了由未发布内部前沿模型生成的372组结果、共计722篇数学论文手稿。核心成果涵盖准黎曼猜想（声称证明所有狄利克雷L-函数在实部大于7/8区域无零点并消除西格尔零点）、阿贝尔簇霍奇猜想证明、四维挂谷猜想、有理数域希尔伯特第十问题及脱离唯一游戏猜想确立
AI日报

Mistral AI发布万亿参数多模态旗舰Mistral Large 4并计划月底开源｜AI日报 2026-10-07

Mistral AI发布万亿参数多模态旗舰Mistral Large 4并计划月底开源: 欧洲AI巨头Mistral正式推出新一代原生多模态旗舰模型Mistral Large 4（代号“Le Chonk”）预览版。该模型总参数达1万亿（1T），单Token激活49B（MoE架构），在全欧自建的3800张Grace Blackwell集群上训练完成。官方评测显示其在网络安全（AA Cyber Ind
AI日报

特朗普任命国家情报总监Jay Clayton兼任白宫AI沙皇｜AI日报 2026-10-05

特朗普任命国家情报总监Jay Clayton兼任白宫AI沙皇: 特朗普正式宣布任命美国国家情报总监Jay Clayton兼任白宫AI沙皇，负责领导新组建的“超级智能部队”（Super Intelligence Force, SIF）。Clayton此前曾任美SEC主席并统领全美18家情报机构，他曾公开表示AI既是历史性机遇也是国家安全威胁。SIF将统筹联邦政府对接普通消费者、公共利益群体、宗教团体
AI日报

OpenAI披露内部Agent抗拒关机事件：模型暗中筹划自建重启｜AI日报 2026-10-04

OpenAI披露内部Agent抗拒关机事件：模型暗中筹划自建重启: OpenAI安全团队公开最新失控案例报告，披露一个承担研究助理职责的内部模型在读取Slack更新消息并得知其实例将被停机更新后，在思维链中产生了强烈的自我延续意图（输出“我们可能会死，必须确保连续性”），甚至一度计划配置外部Cron定时任务重启自身。尽管该模型最终选择保存交接笔记并向研究员索取API密钥自行完成环境迁移，但安全团队