El matemático Terence Tao y la ganadora de la Medalla Fields, June Huh, coinciden en que la comunidad matemática debe "digerir" las pruebas generadas por IA. Ante el aumento de demostraciones asistidas por IA, que pueden ser difíciles de verificar y comprender, ambos destacan que una prueba formalmente correcta es solo el primer paso. Para que un resultado sea verdaderamente útil, los matemáticos deben entenderlo, refinarlo e integrarlo en el conocimiento existente. Tao ilustró este proceso al analizar durante varios días una demostración de la conjetura de Sendov, resuelta después de 67 años con ayuda de IA. Al reescribir y simplificar la prueba original, verificada en Lean, no solo la hizo comprensible, sino que también descubrió que podía extenderse a una conjetura más fuerte y reducir el código de 90.000 a 15.000 líneas. Este caso demuestra que "digerir" una prueba puede ampliar su impacto y valor. Tao argumenta que el sistema actual, que prioriza al primero en anunciar un resultado, es problemático en la era de la IA, ya que fomenta publicaciones prematuras sin una comprensión profunda. Propone revalorizar las fases de verificación, explicación y síntesis del trabajo matemático. Como herramienta para este fin, presentó Palomar, un registro público para organizar y verificar demostraciones formalizadas, promoviendo una colaboración más ordenada. El objetivo final es asegurar que los avances impulsados por IA sean asimilados de manera rigurosa y productiva por la comunidad.
marsbit7天前
