已收录文章摘要，完整内容可前往原文阅读。
新智元报道 人类证出来的最难素数定理，AI刚从头验了一遍。结论是：证明成立，逻辑无误。8月17日，由一位25岁广州女孩创立的AI公司Axiom Math宣布，自家系统AxiomProver完成了