Putnam, el concurso de matemáticas de pregrado más difícil del mundo, terminó ayer a las 4pm PT. A las 3:58pm, AxiomProver @axiommathai resolvió de forma autónoma 8/12 de Putnam2025 en Lean, un lenguaje 100% verificable. El año pasado, nuestra puntuación habría sido la #4 de ~4000 y un Putnam Fellow (top 10 en años recientes)