人工智能通过世界最难数学考试：AxiomProver在普特南2025年获得12/12

这篇文章声称一个名为 AxiomProver 的 AI 在普特南考试中取得了满分。来源是 r/singularity，这表明信息可能是推测性的或未经证实的。 AI 解决如此复杂的数学问题的含义是重大的，可能会影响研究和教育等领域。 但是，除了标题之外缺乏信息，需要谨慎和进一步调查。 2025 年的日期也值得怀疑，这很可能是一个虚构的场景。