La IA no solo ayudó con una famosa demostración matemática. Ayudó a hacerla verificable por máquina. Anthropic dice que @claudeai trabajó en gran medida de forma autónoma durante 11 días para producir la primera formalización completa verificada por computadora del Último Teorema de Fermat en Lean. 13 millones de líneas de demostración formal. 29.500 teoremas intermedios utilizados en el resultado final. Esa distinción importa. Andrew Wiles ya demostró el Último Teorema de Fermat hace décadas. El avance aquí es convertir un cuerpo extraordinariamente complejo de matemáticas humanas en algo que una computadora puede verificar de principio a fin. Y creo que esto señala uno de los roles más importantes que la IA podría desempeñar en la ciencia. No reemplazar al científico. Reducir el cuello de botella de verificación. A medida que la IA genere más matemáticas, código y razonamiento científico, producir respuestas se volverá más barato. Probar que esas respuestas son realmente correctas podría volverse más valioso. La próxima frontera de la IA podría no ser solo la inteligencia. Podría ser inteligencia verificable.