Una IA ayudó a refutar durante el fin de semana un problema matemático de 87 años
Durante el fin de semana, matemáticos usaron el modelo Fable 5 de Anthropic para hallar un contraejemplo a la conjetura jacobiana, una famosa cuestión abierta desde 1939. Qué ocurrió realmente y por qué «una IA hizo matemáticas» no significa lo que sugieren los titulares.
Durante el fin de semana cayó un famoso problema matemático que se mantenía en pie desde 1939, y había un modelo de IA en la sala cuando ocurrió. El matemático Levent Alpoge anunció que la conjetura jacobiana es falsa y atribuyó al modelo Fable 5 de Anthropic el trabajo pesado mientras él veía la final del Mundial. Terence Tao, considerado ampliamente uno de los mayores matemáticos vivos, ha publicado desde entonces una explicación del resultado. Curiosamente, un investigador de OpenAI afirmó que una versión interna del modelo Codex de la empresa encontró por sí sola, en esencia, el mismo contraejemplo.
Una traducción rápida, porque la jerga oculta una idea sencilla. Una «conjetura» es una afirmación que los matemáticos creen verdadera pero no han demostrado. Para refutarla no hace falta una gran teoría; basta un único «contraejemplo», un caso concreto en el que la afirmación falla. Eso es lo que produjo el modelo: un ejemplo específico que rompe la conjetura. Y, algo crucial, una vez que existía los matemáticos humanos pudieron comprobarlo a mano en un día. La IA no pidió que nadie confiara en ella. Entregó una respuesta que se sostiene o se derrumba por sí misma.
Esta es ya la segunda historia de ese tipo en una semana. A mediados de julio se informó de que otro modelo había resuelto un acertijo estadístico de décadas de antigüedad. Se está formando un patrón, y merece entenderse en lugar de exagerarse. Estos modelos se están volviendo realmente buenos en una tarea concreta: buscar en un espacio inmenso de posibilidades una construcción ingeniosa con la que una persona podría tardar años en dar. No es lo mismo que «entender» las matemáticas ni es inteligencia general. Es una herramienta de búsqueda potente aplicada a problemas en los que cualquier respuesta propuesta resulta barata de verificar.
Qué significa esto para ti: Si no eres matemático, el impacto práctico hoy es aproximadamente cero, y eso es honestidad, no desdén. Pero la forma que adopta sí importa. La manera más fiable de usar IA en problemas difíciles es exactamente esta: que el modelo proponga y que las personas, o un ordenador, verifiquen. Cuando la respuesta puede comprobarse, no importa que el modelo a veces se invente cosas, porque un contraejemplo incorrecto simplemente no supera la comprobación. Ese principio, usar la IA para generar y conservar una forma barata de verificar, puedes trasladarlo a contextos mucho más corrientes, desde código con pruebas hasta una afirmación que puedes consultar. Una salvedad justa: «la IA resolvió un problema matemático» es un titular mejor que «la IA propuso un candidato que luego verificó un experto humano», pero la segunda versión es la precisa.
Fuentes
Fuentes: https://thenextweb.com/news/jacobian-conjecture-disproved-ai-fable-5
Anthropic afirma haber reescrito un millón de líneas de código en dos semanas con su propia IA
Anthropic ha explicado cómo sus ingenieros usaron Claude Code para trasladar enormes bases de código entre lenguajes de programación en semanas, en vez de años. Impresionante, realmente útil y una buena ventana a aquello para lo que la IA de programación sirve de verdad.
