Una IA resuelve un problema matemático de hace 80 años

Un modelo de IA de OpenAI ha resuelto un problema matemático formulado en 1946 por Paul Erdős. Svante Linusson, profesor del KTH, expresó su sorpresa ante el resultado.

El problema se refiere a cuántas líneas de igual longitud pueden trazarse entre puntos en una hoja de papel. La teoría de Erdős de que la mayor cantidad de líneas se logra en una cuadrícula resultó ser incorrecta.

El modelo de IA utilizó herramientas de otra área de las matemáticas y redactó su propio artículo de investigación sobre la solución. Linusson estima que el artículo podría haber sido publicado en revistas de primer nivel si hubiera sido escrito por un humano.

El descubrimiento fue reportado el 30 de mayo de 2026.

Artículos relacionados

A Harvard mathematician has used artificial intelligence to disprove a long-standing problem in algebra that experts had spent decades trying to prove true. Levent Alpöge announced the finding on social media on 19 July with a short counterexample.

Reportado por IA

Researchers gathered in London this week to accelerate the formalization of Fermat's Last Theorem using advanced AI models. The workshop focuses on converting Andrew Wiles's 1993 proof into Lean code for computer verification. Progress has been rapid, with code lines doubling after the first day.

SVT reporter Jonna Björnbom trained with a free AI service for eight weeks to run 10 kilometers. Running coach Hugo Östby in Ludvika comments on the experiment.

Reportado por IA

An effort to verify a controversial proof of the ABC conjecture using computer software has made no progress. An interim report from the Lean and Anabelian Geometry project shows that mathematicians remain divided over the validity of the underlying theory.

Este sitio web utiliza cookies

Utilizamos cookies para análisis con el fin de mejorar nuestro sitio. Lee nuestra política de privacidad para más información.
Rechazar