GPT-5 一次破解难题，菲尔兹奖得主担忧数学文化毁灭
The Decoder · rss · 2026-08-02
随着 AI 不断攻克未解数学难题，数学界对此心情复杂。OpenAI 的模型成功反驳了“单位距离猜想”，引发了一波 AI 辅助数学研究的浪潮。
菲尔兹奖得主 Timothy Gowers 透露，GPT 5.6 Pro 仅在首次尝试中就解决了他曾花费大量时间研究的两个问题。他对此感到震撼，但也发出警告：如果未来的数学家因此停止积累理解这些结果所需的专业基础，可能会导致“数学文化的毁灭”。不过，也有部分学者对此较为乐观，仅将 AI 视作提升生产力的常规工具。
「模型」频道最新
- 实测吐槽：DeepSeek 模型无视规则提示，实战不如 Qwen — Juulk9087 · 2026-08-02
- Grok 语音模型实测胜出：准确率更高且“语音损耗”更小 — XFreeze · 2026-08-02
- Gary Marcus 批驳 Astra 泛化论：数学能力不代表能解决所有现实问题 — GaryMarcus · 2026-08-02
- 微软新模型 Astra 证明非sofic群存在，离散数学达超智能 — josh_wills · 2026-08-02
- Code Arena 图生网页评测：Opus 5 登顶，GPT-5.6 与 Grok-4.5 紧随其后 — arena · 2026-08-02
- Claude 强制用户休息引热议，过度共情成新翻车名场面 — KashcheiTheDeathless · 2026-08-02