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
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:
171
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.
178
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
235
Populares
Ranking
Favoritas