数学家亲述：半年内 AI 从产出垃圾到几小时完成我数月的证明
RexDouglass · x · 2026-09-10
数学家 ObhishekSaha 细数半年内 AI 数学能力的跃迁：今年 5 月，最强的公开模型在他的数学领域还在产出「绝对的垃圾」。5 月的 Erdos 单位距离问题震动数学界；他 6 月初首次用 ChatGPT 5.5 Pro 证定理，「像和一个称职、不知疲倦的博士生合作」；7 月初的 Sol 又上一个台阶。
如今把证明思路的粗略草图（有时更少）交给 Astra，几小时内就能得到正确完整的论证——虽然写得极差——而这些细节自己动手要数周甚至数月。它还能在极少输入下完成大部分形式化。此帖引用 Noam Brown 的说法：本周许多 OpenAI 的数学家、物理学家经历了自己的「李世石时刻」，看着模型在几分钟内解出他们卡了多年的公开问题。
「模型」频道最新
- NVIDIA 深度解析 Alpamayo 2 Super:面向 Robotaxi 的 L4 自驾模型 — drmapavone · 2026-09-10
- 网友预测 Qwen V4.1-Flash 新基准将得 36-38 分 — teortaxesTex · 2026-09-10
- Perplexity 评测 13 款检索模型,pplx-embed-v1-4b 两项领跑 — perplexity_ai · 2026-09-10
- 网友算 Astra 用量账：GPT-8 蜂群吃掉 1.8 亿 GPU,Pro 订阅或暂停 — burny_tech · 2026-09-10
- Polymarket 盘口预测 Grok 4.7 于 9 月 15-17 日发布概率约 37% — Polymarket · 2026-09-10
- DeepSeek 单卡可跑 25 个 300t/s Agent,teortaxesTex 力挺国产模型集群蜂群 — teortaxesTex · 2026-09-10