OpenAI模型一夜攻克722个数学难题并证明准黎曼猜想
RecodeX 重构消息，OpenAI的模型在一夜之间解决了722个数学难题，并完成了对“准黎曼猜想”的证明。该成果属于AI在形式化数学证明领域的最新进展，显示出大模型在高等数学问题求解上的能力。
事件追踪 · 持续发展中
AI形式化数学证明
持续追踪AI形式化数学证明相关报道与进展。
关注仅保存在当前浏览器和域名中，无需登录，不会自动跨设备同步。事件时间线
按最新发布排序AI模型完成1979年方形堆叠最优性形式化证明
RecodeX 重构消息，10月6日，一项形式化数学证明宣告完成，确认Walter Trump于1979年手工找到的方形堆叠方案为最优解，且证明过程中未遗留任何未解决的Lean占位符。该证明由OpenAI的Astra与Anthropic的Claude共同完成。