数学家分享 AI 辅助证明经历：o1-mini 给出全新正确证明
prof_g · x · 2026-08-02
作者回顾了约两年前与 GPT-4o 和 Claude 3.5 Sonnet 探讨格值网络推广的数学猜想。当时模型能提出文献中未见的猜想，但无法证明。
在经历了一个月充满自信但错误的尝试后，新发布的 GPT-o1-mini 成功给出了一个非常漂亮、新颖且正确的直接证明。作者认为这标志着 AI 生成的数学证明将在不久的将来超越人类。
所属事件:数学家分享AI证明进化：最新模型无需复杂提示即可解题(2 条相关)→
「研究」频道最新
- MIT AI 模型解码细胞通信语言，瞄准再生医学 — emmanuelvivier · 2026-10-16
- 视觉预训练模型做触觉预测有多难?机器人研究者激辩跨模态迁移 — KyleMorgenstein · 2026-10-16
- Tsallis 熵正则化最优 transport 统一 Monge 与 Sinkhorn 两大框架 — FrnkNlsn · 2026-10-16
- EPFL/DeepMind 研究者将线上讲解 Simplex Diffusion Models 论文 — ArnaudDoucet1 · 2026-10-16
- 美团 LongCat 团队发布 Data World：合成数据环境训练数据智能体 — meituan-longcat · 2026-10-16
- FDE-Gym 基准曝光 AI 交付最后一英里：前沿模型得分最多 0.56 — DeepLethe · 2026-10-16