Advertencia de un ganador de la Medalla Fields: La IA podría acabar con las matemáticas
El ganador de la Medalla Fields Jacob Tsimerman anunció tras recibir el premio que se unirá a OpenAI para investigar en seguridad de IA, afirmando que en dos años la IA superará a los humanos en todas las áreas de demostración matemática. En la ICM 2026, el también medallista Terence Tao expresó su preocupación por una crisis inminente en los valores y fundamentos de la matemática. Timothy Gowers, otro galardonado, advirtió que la IA podría "matar" la matemática no por estancamiento, sino por exceso: al generar pruebas correctas de forma exponencial y accesible, la IA podría eliminar el incentivo para que los humanos dediquen años a dominar el conocimiento profundo, llevando a la desaparición de la comunidad de expertos humanos. Gowers relató cómo ChatGPT 5.5 Pro resolvió un problema de nivel doctoral en teoría de números y cómo la IA logró un hito al abordar el "problema de la distancia unidad", lo que cambió radicalmente su perspectiva. Firmado por más de 3000 matemáticos, incluidos Tao y Peter Scholze, la "Declaración de Leiden" defiende la matemática como una empresa humana. Peter Woit cuestionó el futuro de un campo donde los agentes de IA no buscan reconocimiento. Gowers confesó la desconcertante experiencia de ver a la GPT-5.6 Pro resolver problemas que él apreciaba, sintiendo que "la alfombra era arrancada bajo sus pies". El artículo reflexiona sobre el papel de la mente humana en una era de descubrimiento científico automatizado y verdad en expansión infinita.
marsbitHace 14 hora(s)
