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
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.
6
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:
177
1/ La conjetura de Collatz ha humillado a los matemáticos durante casi 90 años. Paul Erdös dijo: "las matemáticas aún no están listas para tales problemas." 🧵
Así que se lo entregamos a Transformers. ¡Lo que aprendieron nos dejó atónitos!
Nueva investigación del equipo de descubrimiento matemático de Axiom, blog en directo esta mañana.
184
Populares
Ranking
Favoritas