09:39
官方一手arXiv: OpenAI@Maher Kallel, Mohamed El Louadi
精选73°
推荐理由：OpenAI模型提出数学猜想反例，机器检查证明与人工验证的冲突揭示了数学验证的新挑战。
Erdős猜想
共 3 条相关 AI 资讯
9月1日
09:39
OpenAI模型在2026年5月提出了Erdős单位距离猜想的反例，同一日有五位数学家发布了人工验证版本。同年8月，该实验室发布了10个数学和理论计算机科学成果，每个都附带无未证明步骤的Lean 4机器可检查证书。四周后，其中一个结果仍存在关于其形式化是否意味着其所声称内容的未解决争议。研究指出，机器检查产生了验证丰富性，但裁决仍然稀缺。
6月12日
12:35
12:35
官方账号Mark Chen (OpenAI 研究)@markchen90
官方账号Mark Chen (OpenAI 研究)@markchen9083°
推荐理由：数学研究者或对 AI 推理能力感兴趣的人会震撼——OpenAI 模型解决了数论几何交叉的经典难题，证明过程优雅且可验证。建议点开看看 AI 如何用代数数论工具攻克几何猜想，这对理解 AI 在严谨科学中的潜力很有启发。
6月5日
05:27
05:27
官方账号OpenAI@OpenAI (@OpenAI)
官方账号OpenAI@OpenAI (@OpenAI)推荐理由：数学家和AI研究者会感兴趣——模型不仅验证了猜想，还主动发现了反例，展示了AI在数学发现中的实际应用。建议点开了解人机协作如何突破传统研究边界。