AxiomProverはPutnamで12/12を達成し、人間のヒントなしの形式リーン証明を用いて自律的に解きました。 2026年は猛烈なスタートを切る