AxiomProver erreicht 12/12 bei Putnam, autonom gelöst, unter Verwendung von formalen schlanken Beweisen ohne menschliche Hinweise. 2026 beginnt verrückt stark.