Tekoäly ratkaisi 80 vuotta vanhan matemaattisen ongelman

OpenAI:n tekoälymalli on ratkaissut Paul Erdősin vuonna 1946 muotoileman matemaattisen ongelman. KTH:n professori Svante Linusson kertoi olevansa tuloksesta hämmästynyt.

Ongelma koskee sitä, kuinka monta samanpituista janaa paperilla olevien pisteiden välille voidaan piirtää. Erdősin teoria, jonka mukaan suurin määrä janoja saavutetaan ruudukossa, osoittautui vääräksi.

Tekoälymalli käytti työkaluja toiselta matematiikan osa-alueelta ja kirjoitti oman tutkimusartikkelinsa ratkaisusta. Linusson arvioi, että artikkeli olisi voitu julkaista alan huippujulkaisuissa, jos se olisi ihmisen kirjoittama.

Löydöksestä raportoitiin 30. toukokuuta 2026.

Liittyvät artikkelit

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.

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

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

Tämä verkkosivusto käyttää evästeitä

Käytämme evästeitä analyysiä varten parantaaksemme sivustoamme. Lue tietosuojakäytäntömme tietosuojakäytäntö lisätietoja varten.
Hylkää