OpenAI kiadott egy nagy gyűjteménye matematikai kutatás által termelt egy belső határ AI modell, beleértve a munka problémák, amelyek kihívást a professzionális matematikusok évek óta.
A vállalat október 6-án jelentette be a kiadást, amely szerint az eredmények a matematika széles skáláját fedik le, és a kutatók nyíltan teszik közzé vizsgálat céljából.
A nyilvános gyűjtemény 722 kéziratot tartalmaz, melyeket 372 kapcsolódó eredménycsaládba szerveztek, az OpenAI fejlesztői közössége szerint. A munka egy körülbelül 4000 matematikai problémát érintő értékelésből származott.
A Verge jelentése szerint a gyűjtemény több száz matematikai eredményt tartalmaz egy felszabadítatlan határmodell által. A közzététel azonban nem jelenti azt, hogy minden igényt azonnal matematikai tényként kell kezelni. A kutatóknak meg kell vizsgálniuk a bizonyítékokat, és meg kell határozniuk az egyedi eredmények jelentőségét és újdonságát.
Az egyik különösen fontos tulajdonság az, hogy az OpenAI számos bizonyíték formalizálását nyújtotta Lean segítségével, egy olyan programozási nyelven, amely lehetővé teszi a matematikai igazolások számítógép általi ellenőrzését. A cég azt mondja, a további formalizálások idővel hozzáadódnak.
Az OpenAI a szóban forgó számítástechnikai eszközök feltűnő mértékét is felfedte. Átlagosan minden eredmény körülbelül három óra ChatGPT-nek megfelelő számítástechnikát igényel Profi gondolkodás a belső modell használatával.
A kiadás egyre drámaibb állításokat követ arról, hogy az MI képes hozzájárulni a matematikához. Szeptemberben az OpenAI azt mondta, hogy ugyanez a szélesebb körű kutatási erőfeszítés több mint 100 régóta fennálló nyitott problémát oldott meg, ami arra késztette a vállalatot, hogy prominens matematikusok független csoportjával együtt dolgozzon az ilyen felfedezések felülvizsgálatáról és közléséről.
A tanácsadó csoport többek között a Stanford, Harvard, Oxford, Cambridge, Berkeley és az Institute for Advanced Study intézményekből származó matematikusokat is magában foglalja. Nem egyszerűen az OpenAI munkáját támogatja, hanem önállóan tanácsot ad a jelentőségről, a kutatási szabványokról és a felelősségteljes közzétételről.
A nagyobb kérdés most túlmutat azon, hogy Al tud-e válaszolni a nehéz matematikai kérdésekre.
Ha a független matematikusok végső soron ellenőrzik a munka jelentős részét, az új határ lehet, hogy az MI rutinszerűen felfedezi a matematikát, amit az emberek még nem tudtak.