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 el mejor matemático vivo y ganador de la Medalla Fields en 2006, ha reconocido en una entrevista que utiliza la inteligencia artificial como 'coautora de confianza' en su investigación. Emplea herramientas como Lean para verificar demostraciones y abordar desafíos como las ecuaciones de Navier-Stokes, uno de los Problemas del Milenio. Tao destaca la versatilidad de la IA para conectar áreas matemáticas y fomentar colaboraciones en proyectos ambiciosos. Ejemplos como Meta AI resolviendo la generalización de la función de Lyapunov ilustran el impacto creciente de la IA en las matemáticas avanzadas.