制限時間を超えてシステムを実行させ続けました。AxiomProver @axiommathai は現在9問を解きました。 昨年は120点満点中90点を獲得し、2021年に第4位、2022年に第3位、2023年に第2位、2024年に第1位にランクされ、すべてPutnam-Fellowレベルのパフォーマンスでした。@axiommathai 何が起こったのか