AxiomProver obține 12/12 pe Putnam, rezolvat autonom, folosind demonstrații form lean fără indicii umane. 2026 începe extrem de puternic