La entrada de modelos de inteligencia artificial en la investigación matemática está generando reacciones diversas entre matemáticos, desde la preocupación hasta la fascinación. OpenAI ha sido el protagonista de algunos de los recientes desarrollos significativos en este campo, anunciando en X que prepara más resultados matemáticos generados por una IA interna. Estas innovaciones incluyen la solución al problema de Navier-Stokes, uno de los siete Problemas del Milenio, aunque aún falta validación por parte de la comunidad científica.
El impacto de estas publicaciones ha generado un debate sobre la validez y la ética de la investigación impulsada por IA. La Asociación de Matemáticas Humanas ha expresado su preocupación, advirtiendo sobre la falta de rigor académico y el posible desprecio por las normas éticas de la investigación. Han instado a los matemáticos a evaluar con escepticismo la rapidez con la que OpenAI ha publicado más de 700 documentos técnicos.
A pesar de las críticas, la compañía ha defendido su enfoque, colaborando con el Grupo Asesor sobre Matemáticas e Inteligencia Artificial para desarrollar buenas prácticas en la divulgación de sus hallazgos. OpenAI asegura que sus avances buscan ampliar los límites del conocimiento matemático.
Terence Tao, un destacado matemático, ofrece otra perspectiva. Reconocido por sus contribuciones en teoría de números y ganador de la Medalla Fields, considera que la IA es una herramienta valiosa que puede facilitar la colaboración en investigaciones matemáticas complejas. Tao aboga por el uso de Lean, un asistente de demostración, en su trabajo diario.
Sin embargo, Tao también alerta sobre limitaciones importantes. Subraya que las soluciones proporcionadas por la IA deben ir acompañadas de demostraciones comprensibles para que los matemáticos humanos puedan utilizarlas de manera efectiva. Según él, el objetivo de las matemáticas va más allá de resolver problemas; incluye la creación de conceptos, teorías y la educación de futuras generaciones. Esta dinámica resalta la necesidad de un equilibrio entre la innovación tecnológica y los principios fundamentales de la investigación matemática.