Terence Tao ve la IA como "coautora" y usa Lean para verificar pruebas y atacar retos como Collatz y Navier–Stokes, mostrando el potencial de estas herramientas en la investigación. https://aidoo.news/noticia/xBmM0W

Terence Tao es el mejor matemático del mundo: ha reconocido que está usando la IA para resolver uno de los Problemas del Milenio
Terence Tao, considerado por muchos como el máximo exponente de la matemática contemporánea, combina versatilidad y colaboración para abordar problemas de gran




