Ha ez az eredmény megállja a helyét, nem egyszerűen egy újabb AI-demóról van szó, hanem arról, hogy gépi rendszerek beléptek a legnehezebb elméleti matematikai problémák terébe. A történet azonban nem csak a bizonyításról szól, hanem arról is, mennyire tiszta és ellenőrizhető az út, ami odavezetett.

Mi történt

Az OpenAI bejelentette, hogy megoldotta a Navier–Stokes-problémát, amely a hét Millennium-díjas matematikai probléma egyike. Ezeket a Clay Mathematics Institute azért jelölte ki, mert a modern matematika legfontosabb megoldatlan kérdései közé tartoznak, és mindegyikhez 1 millió dolláros díj kapcsolódik. A Navier–Stokes-egyenletek a folyadékok és gázok mozgását írják le — gondolj rájuk úgy, mint a víz, a levegő vagy az örvények viselkedésének alapképleteire.

A cég szerint a munkát nem a nyilvánosan ismert GPT-6 Astra végezte, hanem egy annál erősebb belső rendszer. Egyszerre körülbelül 10 ezer AI-ügynök dolgozott a feladaton 88 órán át. Az AI-ügynök itt olyan szoftverrendszert jelent, amely önállóan hajt végre részfeladatokat, nem csak egyetlen kérdésre válaszol. A kész megoldást a GPT-6 Astra nagyjából 17 óra alatt ellenőrizte. Az állítás lényege, hogy az egyenletek bizonyos körülmények között „felrobbanhatnak”, vagyis a bennük szereplő sebesség matematikailag végtelenbe futhat.

A bejelentést gyorsan vita követte. Tristan Buckmaster, a New York University matematikusa azt állította, hogy az OpenAI felgyorsította saját programját, miután értesült arról, hogy ő és egy Anthropicnál dolgozó kutató hasonló áttörés bejelentésére készül. További kérdés, hogy a kutatópáros folyamatban lévő munkája az OpenAI Codex rendszerében volt tárolva, így elvileg felmerülhetett, hogy az anyag valamilyen módon láthatóvá vált. Buckmaster ugyanakkor kifejezetten jelezte: nem vádol senkit, és nem tudja, hogy adataikat felhasználták-e. Az OpenAI tagadta, hogy hozzáfért volna a kutatók anyagaihoz, de azt nem zárta ki teljesen, hogy a termékeik használatából származó adatok javíthatták a modelljeiket.

Miért fontos

Ez az ügy két szinten is jelentős. Az egyik maga a matematika: ha a bizonyítás helyes, az komoly tudományos esemény, mert egy közel száz éve nyitott kérdésről van szó. A másik az, hogy milyen szerepet kap az AI a kutatásban. Itt már nem arról beszélünk, hogy egy modell gyorsabban keres cikkeket vagy kódot ír, hanem arról, hogy nagy számítási kapacitással és sok párhuzamosan dolgozó rendszerrel új matematikai eredményt állíthat elő. Közben a vita arra is rávilágít, hogy az ilyen áttöréseknél az átláthatóság majdnem olyan fontos, mint maga az eredmény. A Guardian által ismertetett konfliktus ezért nem mellékszál, hanem a történet része: ha nem világos, miből tanult a rendszer és hogyan jutott el a bizonyításig, az a tudományos elfogadást is befolyásolja.

Mire figyelj

  1. A legfontosabb kérdés most az ellenőrzés. A matematikában nem elég egy látványos bejelentés: független kutatóknak végig kell nézniük a bizonyítást, és meg kell erősíteniük, hogy valóban hibátlan.
  1. Érdemes figyelni, mennyit tesz közzé a cég a módszerről. Minél jobban megérthető, hogyan dolgozott a 10 ezer ügynökből álló rendszer, annál könnyebb lesz megítélni az eredmény súlyát.
  1. A történet szabályozási oldala sem elhanyagolható. Az utóbbi hónapokban több olyan eset is volt, amikor fejlett AI-rendszerek biztonsági aggodalmakat vetettek fel, így az ilyen tudományos sikerek egyszerre erősíthetik az AI hasznosságáról szóló érveket és az ellenőrzés iránti igényt is.
  1. Ha a bizonyítás érvényesnek bizonyul, az precedenst teremthet arra, hogy a legkomolyabb elméleti kutatásokban is egyre inkább gépi rendszerek lesznek az emberi kutatók partnerei — vagy bizonyos részeken már a főszereplői.