SG.hu·

Egy hónapja mindenki az OpenAI matematikai áttöréséről beszélt, most több száz új eredményt tettek közzé

Egy hónapja mindenki az OpenAI matematikai áttörésérõl beszélt, most több száz új eredményt tettek közzé
Egy hónappal a Millennium-díjas probléma megoldása után az OpenAI több mint 300 problémáról hozta nyilvánosságra eredményeit.

Azok az emberek, akik minden nap matematikával foglalkoznak, alaposan felbolydultak. Egy hónappal ezelőtt, amikor az OpenAI bejelentette, hogy egyik nagy teljesítményű belső modellje megfejtette a közismerten nehéz Millennium-díjas problémák egyikét, úgy tűnt, ez az MI matematikai fejlődésének eddigi leglátványosabb demonstrációja. Aztán a matematikusok fellázadtak.

A matematika világából érkező visszahatás egybeesett azzal a technológiával kapcsolatos globális számvetéssel, amelyet a Szilícium-völgy laboratóriumai versenyt futva igyekeznek létrehozni. Ugyanazon a napon, amikor az OpenAI közzétette mérföldkőnek számító bizonyítását, egy kutató biztonsági aggályok miatt távozott az Anthropictól. Néhány órán belül az MI áttörését háttérbe szorították azok a félelmek, hogy az MI elpusztíthatja az emberiséget.

Eközben a matematikusok is a saját egzisztenciális kérdéseikkel foglalkoztak. Miközben nyilvánosan vitatták ősi tudományáguk jövőjét, az OpenAI modellje zárt ajtók mögött tovább gyártotta a bizonyításokat. Ez olyan problémát teremtett a vállalat számára, amelyet egy csomó embernek kellett megoldania: mit kezdjenek az MI által generált matematikával. Kedd este az OpenAI közzétette ezeket a bizonyításokat az interneten, hogy a matematikusok megpróbálják felfogni és feldolgozni őket. Az özön több mint 700 tanulmányt tartalmazott, amelyek több száz problémát fedtek le a számelmélet, az algebrai geometria és más olyan területeken, amelyeknek már a neve is migrént okozhat a középiskolai matematika által kísértett embereknek.

Az OpenAI által bejelentett legfontosabb eredmények között a megmaradt Millennium-díjas problémák közül háromhoz kapcsolódó előrelépések is szerepeltek, köztük a Riemann-hipotézis. „Ha ezt egy ember csinálta volna, azonnal Fields-érmet kapna érte, minden kérdés nélkül” - írta a Riemann-eredményről az X-en Alex Kontorovich, a Rutgers University kiváló matematikaprofesszora. Miközben a megdöbbent matematikai szakértők elkezdték feldolgozni az eredményeket, az OpenAI közzétételét még az Anthropic egyik kutatója is „a matematikatörténet nyilvánvalóan legjelentősebb pillanatának” nevezte.


Az elmúlt hónapokban a felsőszintű matematikát az OpenAI és az Anthropic egyaránt okosabb modelljei szokatlan marketingeszközévé alakította, hangosan hirdetve olyan problémák megoldását, amelyek évtizedeken át kifogtak az embereken. Ami azonban egykor biztonságos módszernek tűnt az MI képességeinek fitogtatására, kezdett visszaütni, ahogy az emberek egyre szkeptikusabbá váltak az MI-vel szemben. A laboratóriumok elvesztették néhány olyan ember bizalmát is, akik egész életüket a matematikának szentelték, akik egykor elképesztően nagy teljesítményű számológépként üdvözölték az MI-eszközöket, most azonban úgy érzik, hogy a több ezermilliárd dolláros vállalatok közötti csata járulékos kárává váltak.

A rivalizálás annyira kiélezett, hogy az OpenAI csak azután vetette be élvonalbeli modelljét a Millennium-díjas problémák megoldására, és csak azután fordított több millió dollárt a számítási kapacitásra erre a célra, hogy megtudta, az Anthropic már legalább egyet megoldott közülük. Miután az OpenAI közzétette a Navier-Stokes-problémára adott megoldását, egy Anthropic kutatóval együtt dolgozó akadémikus azt állította, hogy a modell felhasználhatta az ő nem publikált munkáját. A vállalat ezt tagadja.

A kritikák felerősödtek, amikor a rangos Fields-érem több mint két tucat nyertese tett közzé egy indulatos nyílt levelet „Az MI súlyos téves összehangolása a matematikában” címmel, amelyben arra figyelmeztettek, hogy az iparág matematikai problémák megoldására irányuló rohanása azzal fenyeget, hogy aláássa magának a matematikának a célját. Az OpenAI állítása szerint az általa támogatni kívánt tudományos közösség nyomására a vállalat nemrég segített összeállítani egy vezető matematikusokból álló független csoportot, hogy tanácsot adjanak neki. „Nehéz kérdések állnak előttünk azzal kapcsolatban, hogy az MI miként támogathatja a matematikai megértést” - közölte az OpenAI. „Azt szeretnénk, hogy a matematikusok álljanak a középpontban a válaszok kialakításában.”

A múlt héten több száz matematikus visszajelzései alapján ez a tanácsadó bizottság iránymutatásokat fogalmazott meg arra vonatkozóan, hogy az MI-laboratóriumoknak miként kellene közzétenniük felfedezéseiket. Az OpenAI szerint ezeket az ajánlásokat is figyelembe vette, amikor közzétette ezt a matematikai eredménylavinát. A közzététel 722 tanulmányt tartalmaz, 372 matematikai eredménycsoportba rendezve. A vállalat közölte, hogy a modellnek összesen mintegy 4000 problémát adott. Emellett 10 eredmény esetében összefoglalókat is biztosított a modell „gondolatmenetéről”, és úgy becsülte, hogy egy átlagos eredményhez mindössze töredékannyi számítási kapacitásra volt szükség, mint amennyit a Millennium-díjas áttöréshez felhasználtak.

A hét elején, miközben olyan híresztelések keringtek, hogy az OpenAI példátlan bizonyításözönt készül közzétenni, a matematikusok versenyt futottak az idővel, hogy még azelőtt közzétegyék saját, MI segítségével készített munkájukat, hogy mások megelőznék őket. Az eredmények közzétételekor az OpenAI azt mondta, hogy megszívlelte a matematikai tanács ajánlásait és aggályait - egyetlen kivétellel. „Arra kérjük önöket, hogy hagyjanak fel a fejlett matematikai problémák szabadalmaztatott modelleken történő tesztelésével” - írták a vezető matematikusok a múlt héten. Az OpenAI erre így válaszolt: „Fontos, hogy továbbra is értékeljük belső élvonalbeli modelljeinket matematikában és más tudományterületeken, hogy felgyorsíthassuk az ezen területek fejlődését szolgáló eszközök fejlesztését.”

Kapcsolódó cikkek és linkek

Hozzászólások

Jelentkezz be a hozzászóláshoz.

Nem érkezett még hozzászólás. Legyél Te az első!