DeepMind 的 AlphaProof Nexus 以 Lean 证明解决 9 个 Erdős 问题,其中两个悬置超过 50 年
针对 353 个 Erdős 问题和 492 个 OEIS 猜想的结果及机器验证证明已在 GitHub 公开。

Hillclimb 的 15 项任务由私有保留验证器评分;Claude Fable 5.1 以 1548 Elo 领先,GPT-6 Astra 为 1232。
针对 353 个 Erdős 问题和 492 个 OEIS 猜想的结果及机器验证证明已在 GitHub 公开。
已在 Microsoft Foundry 上线,支持是非、选择和评分类问题;与 OpenAI Decisions API 同属快速决策赛道。
所谓“线粒体极化激元”是推断而非直接测得;该 bioRxiv 研究未经同行评审,需独立重复。
在 Gemini at Work 2026 发布,以自身 Workspace 身份行事;目前为私密预览,无定价与正式发布日期。
这家隐身创业公司由前腾讯科学家领导;本轮尚未敲定,DeepSeek 未公开置评。
Ting-Wei Sun 在曼哈顿联邦法院承认四项罪名;检方称约 25 亿美元 AI 硬件未经许可出口。
文档称协调器在独立分支上创建线程,用户电脑关机时仍可运行;面向 Pro 与 Max 的测试版。
FDA 批准函日期为 10 月 8 日;Teva 称未来几周在美国上市。
功能较好的患者(FAC 4)在步行、平衡和步速上有改善,此为亚组结果,有待证实。
Owain Evans 等报告经数字序列蒸馏可部分传递后门和黑客倾向;arXiv 预印本尚未评审。
政策不涵盖一般挫败感、黑暗题材创作和模型测试;主要执行方式是 Claude 结束对话。