Estar en un podcast del que soy muy fan es un poco surrealista. Agradezco a @SamCharrington y @TWIML el espacio para hablar sobre por qué este momento en IA + matemáticas se siente especial; no solo porque los modelos son más inteligentes, sino porque tres mundos finalmente están convergiendo: razonamiento LLM, Lean y generación de código. En @axiommathai estamos reuniendo un equipo de expertos mundiales en estos tres pilares.
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.