AI har løst 80 år gammelt matematikproblem

En AI-model fra OpenAI har løst et matematikproblem, som blev formuleret af Paul Erdős i 1946. Svante Linusson, professor ved KTH, udtrykte overraskelse over resultatet.

Problemet vedrører, hvor mange linjer af samme længde der kan tegnes mellem punkter på et stykke papir. Erdős' teori om, at det største antal linjer opnås i et gitter, viste sig at være forkert.

AI-modellen brugte værktøjer fra et andet område inden for matematikken og skrev sin egen forskningsartikel om løsningen. Linusson vurderer, at artiklen kunne have været publiceret i førende tidsskrifter, hvis den var skrevet af et menneske.

Opdagelsen blev rapporteret den 30. maj 2026.

Relaterede artikler

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.

Rapporteret af AI

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.

Rapporteret af AI

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.

Dette websted bruger cookies

Vi bruger cookies til analyse for at forbedre vores side. Læs vores privatlivspolitik for mere information.
Afvis