热点事件历史事件
数学家借助AI证明HJO猜想并发现无限族罗曼努金恒等式
1 篇报道1 个报道来源4 天前更新
先了解这件事
AI 综述
2026年10月，埃默里大学博士后黄一峰与合作者提出并证明了HJO猜想。研究发现历史上的罗曼努金恒等式对应空间中的三叶结，并据此推导出无限族此前未知的恒等式。在研究过程中，团队联合Axiom Math的数学专用AI系统AxiomProver协作探索证明思路，并将完整证明转译为Lean交互式定理证明语言进行了机器验证。目前相关成果已作为预印本发表于arXiv，为纽结理论、代数几何与数论的交叉研究开辟了新方向。
AI 根据报道生成 · 4 天前更新
最新进展10月29日 18:30
黄一峰团队联合AI系统证明HJO猜想并经Lean验证，成果已发arXiv。报道时间线
沿着报道，了解事件的不同侧面。
10月29日
- Scientific American数学家借助 AI 证明几何猜想，发现无限族罗曼努金恒等式
埃默里大学博士后黄一峰与合作者提出并证明了 HJO 猜想，发现历史上的罗曼努金恒等式对应空间中的三叶结，并据此推导出无限族此前未知的恒等式。团队联合 Axiom Math 的数学专用 AI 系统 AxiomProver 协作探索证明思路，并将完整证明转译为 Lean 交互式定理证明语言进行机器验证。相关成果已作为预印本发表于 arXiv，为纽结理论、代数几何与数论的交叉研究开辟了新方向。
本事件热度走势
当前热度 3·可比范围峰值 10（10月29日 20:00）·近 24 小时可比范围变化 -51%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。