Modelos & Agentes
terence tao apresenta 'math 2.0' em caltech com visão de matemática assistida por ia
teorth.github.io12 de outubro
o que aconteceu
Terence Tao, medalhista Fields, apresentou slides intitulados 'Math 2.0' no Caltech, explorando como IA pode transformar prática matemática. O material gerou 413 pontos e 433 comentários no Hacker News, com debate polarizado sobre afirmações técnicas do matemático.
- Apresentação em PDF disponível publicamente
- 413 pontos e 433 comentários no Hacker News
- Debate sobre erros técnicos e atualização de slides
- Tweet de @cremieuxrecueil (2.326 likes) critica 'falta de humildade' de Tao ao revisar slides
- Discussão sobre proof assistants, formalização e LLMs em matemática
por que importa
Matemáticos de elite estão mapeando como LLMs e proof assistants podem mudar pesquisa formal; controvérsia nos comentários indica tensão entre otimismo e ceticismo técnico.
vale saber
Slides apresentam visão, não resultados empíricos; comentários no X indicam debate técnico sobre erros e falta de humildade do autor em revisar afirmações.
fonte
- Slides PDFFonte oficialAbrir ↗
