AxiomProver oppnår 12/12 på Putnam, løst autonomt, ved bruk av form-lean-bevis uten menneskelige hint. 2026 starter vanvittig sterkt