KI løste 80 år gammelt matematikkproblem

En KI-modell fra OpenAI har løst et matematikkproblem formulert i 1946 av Paul Erdős. Svante Linusson, professor ved KTH, uttrykte sjokk over resultatet.

Problemet dreier seg om hvor mange linjer med lik lengde som kan tegnes mellom punkter på et ark. Erdős' teori om at flest linjer oppnås i et rutenett viste seg å være feil.

KI-modellen brukte verktøy fra et annet område innen matematikken og skrev sin egen forskningsartikkel om løsningen. Linusson vurderer at artikkelen kunne ha blitt publisert i anerkjente tidsskrifter dersom den var skrevet av et menneske.

Oppdagelsen ble rapportert 30. mai 2026.

Relaterte 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.

Rapportert 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.

Rapportert 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.

Dette nettstedet bruker informasjonskapsler

Vi bruker informasjonskapsler for analyse for å forbedre nettstedet vårt. Les vår personvernerklæring for mer informasjon.
Avvis