AI 30 小时形式化费马大定理，Yang-Mills 构造获诺奖得主委员会签核
rand_longevity · x · 2026-11-12
博主 randlongevity 透露本周两项 AI 形式化数学进展：
- 一个 AI 系统在 30 小时内完成了费马大定理的形式化证明；
- 另一个 AI 系统给出的 Yang-Mills 构造，已由一位诺贝尔奖得主牵头的委员会审核通过。
博主据此预测「生物学是下一个领域」，暗示 AI 在严格数学形式化上的能力已足以 tackle 更复杂的科学问题。
所属事件:千个 Agent 30 小时完成费马大定理形式化证明(3 条相关)→
「研究」频道最新
- GRPO 论文：算力对齐后密集奖励反而不如稀疏奖励 — burny_tech · 2026-11-12
- Wayve 发布端到端学习的驾驶安全包络 LSE — alexgkendall · 2026-11-12
- HipKittens 一周年:团队持续攻坚 AMD GPU 软件生态破 CUDA 护城河 — simran_s_arora · 2026-11-12
- 世界模型团队争抢带操作标签的游戏数据：动作才是稀缺的那一半 — KnowledgeOk7634 · 2026-11-12
- Uno 用离散扩散让 LLM 推理提速至 3 倍,作者将开线上讲座 — burny_tech · 2026-11-12
- Pro-0 触觉手套零机器人数据训练灵巧手策略，亮相 CoRL — chris_j_paxton · 2026-11-12