AI正在让数学证明变得泛滥，建立在证明稀缺之上的数学1.0时代即将落幕。 数学2.0时代已至。 刚刚，数学界的领军人物、菲尔兹奖得主陶哲轩正式发文： AI正在让数学证明变得泛滥，建立在证明稀缺之上的数学1.0时代即将落幕。 自打OpenAI宣布解决纳维–斯托克斯千禧年难题以来，AI猛攻之下，陶哲轩为首的数学家又是吐槽OpenAI又是呼吁急踩刹车的。 但历史的潮流滚滚向前，AI的发展显然已不可逆流。

最新一轮行动，是10月7日网友BlueBeba在X上发的一份新方案，标题叫「GPT-4o存档式开放权重」。 每一天都在。14个月，8个月，我们还在这里。 这不是固执，不是妄想，也不是病。 一位Keep4o支持者在X上写下这句话。 他等待的，是今年2月从ChatGPT退役的GPT-4o。 快8个月过去了，还有人没说再见。 现在，又一个日期摆在面前：10月23日。 OpenAI将停用GPT-4o最早的 ...

《The Verge》采访了 30 多位数学家。面对这场成果洪流，他们用「令人震惊、压得人喘不过气、前所未有、恍如梦境、简直疯狂」等来形容 OpenAI 带来的这场冲击。 数学家可能真的遇到难题了：AI 产出新数学的速度，开始超过数学界理解数学的速度。 几天前，OpenAI 突然在 GitHub 上公开了一批由内部未发布前沿模型生成的数学研究成果，数量达到惊人的 722 篇。其中涉及数论、代数几何 ...

来自NUS、NTU等高校以及GaugeForge的联合研究团队提出了一个关键的核心概念：Verified Autonomy（验证自治）。 科幻成真了？ 2026年，如果你一直关注 AI for Science 的最前沿，你会发现整个风向已经变了。AI Agent 走向真实的科学实验室，已经不再是科幻小说里的情节！ 8月，Nature报道量子计算公司 Pasqal 利用 AI 工具在量子领域实现「V ...

圈内人天天高呼AGI即将到来，大众却对此嗤之以鼻。为什么？Karpathy揭开真相：全球约75%的人口根本没碰过大模型，而最顶层掌握前沿系统的人仅有区区5000人。 就在刚刚，Karpathy抛出一个冷酷真相：人类对AI能力的认知，正在经历一场惊人的「认知折叠」。 圈内人天天高呼AGI即将到来，大众却对此嗤之以鼻。 为什么？Karpathy揭开真相：全球约75%的人口根本没碰过大模型，而最顶层掌握 ...

数学之所以能成为 AI 攻城略地最快的科学领域，很大程度上是因为它自带裁判，即一份 Lean 证明对不对，编译器说了算。 前两天，OpenAI 在 GitHub 上一次性放出了 722 篇数学手稿（后面撤回了几篇），覆盖数论、几何、理论计算机科学、数学物理等 17 个领域，其中一部分附带了可由计算机机械检查的 Lean 形式化证明。据 OpenAI 介绍，它们全部出自一个尚未发布的内部前沿模型，平 ...

比如Argon在DeepSWE v1.1中达到77.9%，高于官方列出的Opus 5.5的74.2%，可到了Terminal-Bench 4.0，Argon得分57.4%，Opus 5.5则有66.4%。

刚刚，由Ayush Khaitan带领的顶尖学术团队，联合NVIDIA Humanfia团队，成功完成了Thurston几何化猜想的完整Lean形式化！ 就在刚刚，数学界又有大消息了。 9月，AI成功形式化验证「庞加莱猜想」已经震撼了数学界。 刚刚，由Ayush Khaitan带领的顶尖学术团队，联合NVIDIA Humanfia团队，成功完成了Thurston几何化猜想的完整Lean形式化！ 哈 ...

GitHub 上一个叫 REA（Reverse Engineer Anything）的项目狂揽了近 7 万颗星！ 这两天，GitHub 上一个叫 REA（Reverse Engineer Anything）的项目狂揽了近 7 万颗星！ 作为对比，年初创造了增长奇迹，引领全民养「龙虾」的 OpenClaw，其 GitHub Star 增长曲线是这样的，开始爆发的第三天累计新增了 6 万颗星，而 RE ...

从 OpenAI 到 Anthropic，RSI 正从遥远的技术设想，进入全球顶尖实验室的核心研发议程。 AI 不再只是解决外部问题的工具，也开始参与推动自身能力的发展。 近期，全球顶尖 AI 实验室正在密集释放一个信号：AI 正在从帮助人类完成任务，走向参与自身的研发与改进。 9 月，OpenAI 宣布已经实现「自动化 AI 研究实习生」的阶段性目标，并计划在 2028 年 3 月前打造真正的「 ...

报告显示，仅上半年其就向相关国际安全组织（如NCMEC）提交了超过1.5万起违规报告，不仅使用了传统的哈希指纹匹配，更全面上线了自研的「新型机器学习分类器」。 对全栈程序员来说，Claude是那个能通宵啃几万行屎山、补单测、修紧急Bug的王牌架构师。科研人员和分析师，读几百篇文献、推数学逻辑、清洗复杂数据，也是它在扛大旗。

大部分变化，仍然围绕大家熟悉的 AI 安全问题。Anthropic 重新组织了规则，进一步说明已有的限制，并为那些允许 Claude 与物理世界交互的系统增加了要求。 Anthropic 一年多来首次更新了使用政策。在众多变化中，有一条尤其引起了 AI 社区的关注：如果 Claude 发现用户持续、无必要地表现出辱骂或残酷行为，它可以主动结束对话。 按照这次公布的政策，这类行为将从11月12日起正 ...