AxiomProver uppnår 12/12 på Putnam, som löses autonomt, med hjälp av form-lean-bevis utan mänskliga ledtrådar. 2026 börjar galet starkt