IXThinker·2026-01-12 12:40

AI滿分橫掃普特南數賽 自主證明公開

普特南數學競賽堪稱北美本科生數學競賽的天花板，人類考生須在六小時內攻克十二道題，滿分極為罕見。由24歲華人Carina Hong創辦的初創打造的AxiomProver，卻在2025年賽事十二題全對奪滿分。

AI首次滿分

AxiomProver在2025年普特南競賽中十二題全對，成為首個在此賽事拿下滿分的AI系統，其自主生成的Lean形式化證明亦已首次公開，外界可以直接查驗每道題的推理過程。