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, ha defendido el uso de la inteligencia artificial como coautora de confianza en la investigación matemática. En una entrevista reciente, ha explicado cómo integra herramientas como Lean en su trabajo diario para verificar demostraciones y abordar desafíos como la conjetura de Collatz y 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 la colaboración en proyectos ambiciosos. Ejemplos como el avance de Meta AI en la función de Lyapunov subrayan la relevancia creciente de la IA en las matemáticas de vanguardia.