Mesterséges intelligencia megoldott egy 78 éve nyitott matematikai sejtést

Az OpenAI mesterséges intelligenciája olyan problémát oldott meg, amelyen nyolc évtizede kudarcot vallottak a matematikusok. A rendszer az algebrai számelmélet eszközeivel bizonyította, hogy végtelen sok olyan pont-elrendezés létezik, amely több egységnyi távolságú párt tartalmaz, mint az Erdős által feltételezett szabályos négyzetrács. A kanadai matematikus Daniel Litt szerint ez az első autonóm módon generált mesterséges intelligencia-eredmény, amely valóban érdekes.

A felfedezés után gyorsan további eredmények születtek: egy amerikai matematikus ugyanezzel a módszerrel még jobb megoldást talált, míg a Google DeepMind csapata kilenc további nyitott Erdős-problémát oldott meg. A Fields-érmes Timothy Gowers szerint az OpenAI munkája olyan kifinomultságot mutat, amely korábban egyetlen mesterséges intelligencia által készített bizonyítás sem érte el.

A matematikus közösség azonban nem csak az eredménytől aggódik. Gowers személyesen is tapasztalta, hogy a GPT 5.6 Pro egy olyan problémát oldott meg egyetlen próbálkozásból, amelyen ő maga dolgozott. Legnagyobb aggodalma a matematikai kultúra eróziója: ha senki sem építi fel éveken át a szükséges szaktudást, olyan szakirodalom keletkezhet, amelyet már senki sem ért meg igazán.

Az optimizmus azonban korlátozott. A legmagasabb szintű matematikai problémák közül továbbra sem oldódott meg egy sem, a Clay Mathematics Institute hat millenniumi problémája pedig elérhetetlen maradt az OpenAI legújabb Astra modelljének is. A mesterséges intelligencia képességei egyenlőtlenül oszlanak meg: a gráfelmélet különösen hozzáférhető a gépi bizonyításokhoz, más matematikai ágak azonban ellenállnak.

A kérdés nyitott marad: miként alakul át egy olyan tudományág, amelynek központi képzési feladata, az évekig tartó szaktudás-felhalmozás, hirtelen szoftver által egy lépésben elvégezhető. A több mint 3000 aláíró által támogatott Leideni Nyilatkozat átláthatóságot és emberi felelősségvállalást követel, de nem ad végső választ.