AxiomProver mencapai 12/12 pada Putnam, diselesaikan secara mandiri, menggunakan bukti ramping bentuk tanpa petunjuk manusia. 2026 dimulai dengan sangat kuat