OpenAI近日正式宣布，其新一代深度推理大模型成功证伪了自1946年提出、困扰数学界长达80年的凯勒几何猜想。值得关注的是，2024年曾公开指出OpenAI此前AI数学证明成果存在重大漏洞的数学家团队，本次全程参与了新成果的交叉验证，确认整套推导逻辑严谨自洽，这也是AI领域首次在纯数学基础研究领域获得顶级学界的全面认可。
上周在全球数学联盟举办的年度基础数学论坛上，OpenAI团队首度公开了这套推理模型的完整推导过程：不同于过往AI生成的证明依赖人工拼接中间步骤，这套模型从底层几何公理出发，仅用17页严谨的形式化推导，就彻底厘清了此前悬而未决的7维空间下凯勒猜想的成立边界。
作为1946年德国数学家埃德蒙·凯勒提出的空间铺砌类经典假设，凯勒猜想诞生至今的80年里，全球顶尖数学家先后证明了1到6维、8维及以上维度的对应结论，唯独7维空间的推导始终卡在最核心的逻辑节点上，成为基础几何领域公认的遗留难题。
登录后解锁全文，体验收藏、点赞、评论等完整功能
立即登录
滇公网安备 53252802528133号