Anthropic 宣布形式化证明费马大定理，AI 数学能力再进一步
Wonderful_Buffalo_32 · reddit · 2026-09-05
Reddit 用户注意到 Anthropic 官方账号发布消息称已将费马大定理（FLT）形式化。若属实，这将标志着 AI 在形式化数学证明领域的又一里程碑，延续了近期 AI 辅助证明研究的快速进展（此为转述，细节以官方公告为准）。
所属事件:Claude 11 天完成费马大定理首个形式化证明(52 条相关)→
「模型」频道最新
- Mistral 发布 Voxtral 3 语音系列，转写模型冲上榜单第三 — ArtificialAnlys · 2026-10-21
- Perplexity 发布 Decider V1.2：登顶 Vals AI 决策模型榜 ClaimBench — bo_wangbo · 2026-10-21
- Omnii-1 基因组模型发布：AI 设计的噬菌体首次用于人体治疗 — JosephJacks_ · 2026-10-21
- Nous Portal 订阅曝光：未用完额度可滚存，最高档每月 220 美元 — alexcovo_eth · 2026-10-21
- 1.3B 开源文档解析模型 OXR 登顶三大榜：100 页解析仅 101 秒 — s_mohinii · 2026-10-21
- 从记忆存储理解 LLM：事实习得三阶段与幻觉同步涌现 — scott_linderman · 2026-10-21