AI 助攻数学界：Codex 找到 56 年未解猜想证明
ErnestRyu · x · 2026-07-31
研究人员 Jarek Liesen 宣布，他使用 OpenAI 的 Codex 模型成功找到了 Forsythe 猜想（针对 s=2 的情况）的证明方法。该猜想自 1968 年提出以来一直悬而未决。
目前，一位该领域的顶尖专家正在对这一证明进行详细审查，并初步评价其“极有可能是正确的”。这标志着 AI 在辅助高级学术研究方面又迈出了具有实质性的一步。
「研究」频道最新
- 开源项目用 LSTM 模拟人类鼠标移动轨迹 — Possible-Session9849 · 2026-07-31
- RKO-LIO：无需特定建模的鲁棒激光雷达惯性里程计开源 — tom_doerr · 2026-07-31
- 多 Claude Code 智能体协同，耗资 10 万美元将 500 页数学教材形式化 — gordic_aleksa · 2026-07-31
- 跨厂商实测3万次:大模型频现无字节空输出 — rayanpal_ · 2026-07-31
- CMU开源Lift4D：单视频即可生成完整4D动态资产 — CSProfKGD · 2026-07-31
- AI 找到反例证伪麦克斯韦猜想，物理学经典命题被推翻 — RexDouglass · 2026-07-31