1/ AxiomProverはPutnam 2025で12点満点を獲得しました。本日、AxiomProverが自律的に生成したリーン証明を公開します。 また、問題点の見解、証明の可視化、そして人間とAIのアプローチの違いを比較します。たくさんの楽しい数学とリーン! 私たちの調査結果はスレッドでまとめました。