新智元报道 人类证出来的最难素数定理，AI 刚从头验了一遍。 结论是：证明成立，逻辑无误。 8 月 17 日，由一位 25 岁广州女孩创立的 AI 公司 Axiom Math 宣布，自家系统 AxiomProver 完成了「246 定理」的形式化验证。 论文地址：https://primegaps.
新智元报道 人类证出来的最难素数定理，AI 刚从头验了一遍。 结论是：证明成立，逻辑无误。 8 月 17 日，由一位 25 岁广州女孩创立的 AI 公司 Axiom Math 宣布，自家系统 AxiomProver 完成了「246 定理」的形式化验证。 论文地址：https://primegaps.
By UtcXMKiBnR