Participar de um podcast do qual sou muito fã é um pouco surreal. Agradeço a @SamCharrington e @TWIML pelo espaço para falar sobre por que este momento na IA + matemática parece especial -- não apenas porque os modelos são mais inteligentes, mas porque três mundos estão finalmente convergindo: raciocínio LLM, Lean e geração de código. Na @axiommathai, estamos reunindo uma equipe de especialistas mundiais nessas três áreas.
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.