Anthropic 宣布形式化证明费马大定理，AI 数学能力再进一步
Wonderful_Buffalo_32 · reddit · 2026-09-05
Reddit 用户注意到 Anthropic 官方账号发布消息称已将费马大定理（FLT）形式化。若属实，这将标志着 AI 在形式化数学证明领域的又一里程碑，延续了近期 AI 辅助证明研究的快速进展（此为转述，细节以官方公告为准）。
所属事件:Claude 11 天自主完成费马大定理首个机器验证证明(11 条相关)→
「模型」频道最新
- Zvi 质疑：模型能做隐写输出，只差一个约定而已？ — TheZvi · 2026-09-05
- RedMonk 长文：开源权重模型已具备改变行业的能力水平 — rseroter · 2026-09-05
- 16GB 显存实测 21 个 Qwen3.8-27B 量化版，bartowski IQ4_XS 夺冠 — Storterald · 2026-09-05
- 实测 GPT-6 Astra 建模狱中电话，一次调整即出可用 Blender 模型 — AIandDesign · 2026-09-05
- GPT-6 Astra 疑似已在 Codex 可用，范围未知或仅限 Pro — dotey · 2026-09-05
- 曝 GPT-6 Astra 现身测试，作者称表现胜过 Fable — Angaisb_ · 2026-09-05