Putnam, el examen de matemáticas a nivel universitario más difícil del mundo, terminó ayer a las 4 p. m. PT. Hoy al mediodía, AxiomProver resolvió 9/12 problemas en Lean de forma autónoma (a las 3:58 p. m. PT de ayer, había resuelto 8/12). Nuestra puntuación habría sido la #1 de ~4000 participantes el año pasado y Putnam Fellow (top 5) en años recientes.