el día que cambiaron las matemáticas

En octubre de 2025, OpenAI presumió de haber resuelto diez problemas matemáticos abiertos… y era falso. Un año después, el 6 de octubre de 2026, publicó 722 manuscritos escritos por un modelo interno. ¿Qué ha cambiado en doce meses? Y, sobre todo: ¿quién comprueba tanta matemática? En este vídeo repasamos la carrera por los problemas de Erdős (GPT-5.2, Google DeepMind, Astra, OpenAI), y explicamos con calma dos de los resultados: 🔹 La refutación de la conjetura de Erdős de 1946 sobre distancias unitarias, avalada por Noga Alon, Melanie Wood y Thomas Bloom. 🔹 La afirmación de que el exponente de irracionalidad de pi es exactamente 2, y lo que eso significa para la serie de Flint Hills. Y también cómo Lean permite que un ordenador compruebe cada paso de una demostración, qué garantiza y qué no, y el debate que esto ha abierto entre los matemáticos. El cuello de botella ya no es demostrar. Es entender. ⏱️ Capítulos 0:00 Gancho 0:41 La aceleración 2:27 Qué se ha publicado 3:26 El problema de las distancias unitarias 5:22 El número pi 9:15 Lean 10:50 Lo que está en juego 11:49 Cierre 📚 Fuentes ▸ Anuncio de OpenAI (722 manuscritos): https://openai.com/index/sharing-ai-p... ▸ Repositorio de los manuscritos: https://github.com/openai/math ▸ Mapa de resultados: https://github.com/openai/math/blob/m... ▸ Catálogo de formalizaciones en Lean: https://github.com/openai/math/blob/m... ▸ Refutación de la conjetura de distancias unitarias (OpenAI): https://openai.com/index/model-dispro... ▸ Los problemas de Erdős: https://www.erdosproblems.com ▸ Lean, el verificador de demostraciones: https://lean-lang.org ▸ Grupo asesor sobre Matemáticas e IA (IAS): https://agmai.org/general-sep29/ ▸ Retraction Watch sobre los manuscritos retirados: https://retractionwatch.com/2026/10/0... ▸ Le Monde, la reacción de los matemáticos: https://www.lemonde.fr/sciences/artic... Vídeo hecho con Explainer Studio · Arkinos #matemáticas #inteligenciaartificial #OpenAI #Erdős #pi #Lean