Intentemos cada vez más fuerte, para que no puedan llamar fácil nuestra victoria.
Probemos más y más cosas con buen gusto, para que el hype parezca insípido.
Probemos la reducción de demostración, para que sepan que "la relación de longitud de demostración es la relación de dureza" es una tontería.
Seamos avestruz y vámonos. Me encantan las historias de desvalidos.
El nuevo blog de investigación de Axiom:
Aprendiendo Collatz - La madre de todos los agujeros de conejo
¿Qué ocurre cuando entrenas a un transformer en uno de los puzles sin resolver más infames de las matemáticas —y luego estudias cómo falla?
Putnam, el examen de matemáticas universitario más difícil del mundo, terminó ayer a las 16:00 PT.
Hoy al mediodía, AxiomProver resolvió 9/12 problemas en Lean de forma autónoma (ayer a las 15:58 PT, era el 12/8).
Nuestra puntuación habría sido la #1 de ~4000 participantes el año pasado y Putnam Fellow (top 5) en los últimos años