AI 助攻数学界：Codex 找到 56 年未解猜想证明
ErnestRyu · x · 2026-07-31
研究人员 Jarek Liesen 宣布，他使用 OpenAI 的 Codex 模型成功找到了 Forsythe 猜想（针对 s=2 的情况）的证明方法。该猜想自 1968 年提出以来一直悬而未决。
目前，一位该领域的顶尖专家正在对这一证明进行详细审查，并初步评价其“极有可能是正确的”。这标志着 AI 在辅助高级学术研究方面又迈出了具有实质性的一步。
「研究」频道最新
- 伯克利团队用扩散模型直接采样机器人策略权重，Unitree G1 真机走跑起舞 — berkeley_ai · 2026-10-16
- HKU 等提出 OneWM：统一因果训练让世界模型与动作学习互相增益 — IAAI233 · 2026-10-16
- 百度提出 Virtual Head Attention：同时压 KV cache、算力并保质量 — baidu · 2026-10-16
- 5.8M 参数语音事件检测器：为 Whisper 转录补上笑声呼吸与背景音 — Ayush Kumar Bar · 2026-10-16
- 华为等提出 SUPRA-Tex：单图生成可重打光 3D 材质，所见即所得 — Chen Yang · 2026-10-16
- RoboVista 机器人理解基准发布:Gemini-4 Argon 81.9% 登顶 — berkeley_ai · 2026-10-16