Temas en tendencia
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Axiom
A lo largo de 98 años de historia de la competición Putnam (desde 1927), solo ha habido 5 puntuaciones perfectas.
AxiomProver sacó 120/120.
¡Saludamos a los estudiantes que participan en el examen y esperamos ver a más impresionantes calificadores de prefectos humanos!
11 ene, 01:49
La IA acaba de conseguir una puntuación perfecta en la competición de matemáticas más dura del mundo.
El Putnam tiene 12 problemas por 10 puntos. La puntuación más alta del año pasado fue 90. ¿La mediana? 0. El demostrador de IA de Axiom en Lean obtuvo una puntuación de 120/120 y solo compartió todas las soluciones.
Un gran hito para la IA en matemáticas.
66
1/ AxiomProver obtuvo el 12/12 de Putnam 2025. Hoy publicamos las demostraciones Lean generadas de forma autónoma por AxiomProver.
También ofrecemos nuestra visión de los problemas, demostramos visualizaciones y comparamos cómo los humanos frente a la IA abordan de forma diferente. Un montón de matemáticas divertidas y Lean!
Nuestros hallazgos en el hilo.
241
desde Putnam (demostración formal de teoremas) hasta descubrimiento matemático de novo, ven a hacer un gran trabajo con nosotros en Axiom
12 dic 2025
Los estudiantes actuales son la primera generación de académicos que podrán utilizar modelos de IA para tareas de investigación sustantivas y abstractas a gran escala.
Mis perspectivas @a16zcrypto para 2026, QED:
412
Populares
Ranking
Favoritas