AI löste 80 år gammalt matteproblem

En AI-modell från Open AI har löst ett matematikproblem som formulerades 1946 av Paul Erdős. Svante Linusson, professor vid KTH, uttrycker chock över resultatet.

Problemet handlar om hur många lika långa streck som kan dras mellan punkter på ett papper. Erdős teori om att flest streck uppnås i ett rutnät visade sig felaktig.

AI-modellen använde verktyg från en annan del av matematiken och skrev en egen forskningsartikel om lösningen. Linusson bedömer att artikeln hade kunnat publiceras i topp-tidskrifter om den skrivits av en människa.

Upptäckten rapporterades den 30 maj 2026.

Relaterade artiklar

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.

Rapporterad av 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.

Rapporterad av 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.

Denna webbplats använder cookies

Vi använder cookies för analys för att förbättra vår webbplats. Läs vår integritetspolicy för mer information.
Avböj