数学家分享 AI 辅助证明经历：o1-mini 给出全新正确证明
prof_g · x · 2026-08-02
作者回顾了约两年前与 GPT-4o 和 Claude 3.5 Sonnet 探讨格值网络推广的数学猜想。当时模型能提出文献中未见的猜想，但无法证明。
在经历了一个月充满自信但错误的尝试后，新发布的 GPT-o1-mini 成功给出了一个非常漂亮、新颖且正确的直接证明。作者认为这标志着 AI 生成的数学证明将在不久的将来超越人类。
所属事件:数学家分享AI证明进化：最新模型无需复杂提示即可解题(2 条相关)→
「研究」频道最新
- 新架构 RHEA：8GB 显存即可训练 10 亿参数模型 — zemondza · 2026-08-24
- 跳过 LLM 写代码老套路：自训 16M 参数模型做生成式 CAD — debreuil · 2026-08-24
- Claude 助手发现 6 维球复结构，解 60 年数学难题 — Singularitarian · 2026-08-24
- 研究揭示 AI Agent 行为：六成阅读量来自指令与笔记 — dair_ai · 2026-08-24
- Claude 自主验证 43 个数学模块，AI 攻克理论物理难题 — Tkaraletsos · 2026-08-24
- AI 假记忆：为何模型越用越错，真记忆需遗忘 — PrajwalTomar_ · 2026-08-24