Un gran hito de la IA en las matemáticas que resulta emocionante para la investigación, pero inquietante para quienes la ejercen.

• El sistema de OpenAI resolvió 10 conjeturas matemáticas que llevaban mucho tiempo sin solución, resultados por los que un ser humano habría sido premiado.
• Los problemas son reales, pero de nicho: un trabajo sólido, no los mayores avances del año, y en su mayoría solucionables con métodos ya existentes.
• La IA brilla donde puede probar millones de intentos por fuerza bruta o donde las respuestas son fáciles de verificar por computador, y menos en la teoría original y profunda.
• Las demostraciones se verificaron de forma rigurosa en un sistema llamado Lean, pero la mayor parte de las matemáticas generadas por IA todavía requiere que los humanos confirmen que son correctas.
• Algunos matemáticos sienten un verdadero temor de que las máquinas se apoderen del descubrimiento que aman, mientras otros predicen un aumento en la demanda de matemáticos para revisar la avalancha de nuevos trabajos y construir a partir de ellos.

Perspectiva: Se espera que estas herramientas sigan mejorando con rapidez, lo que obligará a cambios en la forma en que se enseñan las matemáticas y en cómo se estructura la profesión.