Egyre látványosabb eredményeket érnek el a mesterséges intelligencia alapú nyelvi modellek a magas szintű matematikában. Neel Somani kutatásai szerint az OpenAI legújabb modellje, a GPT 5.2, már olyan nyílt matematikai problémák megoldására is képes, amelyek korábban kizárólag emberi szakértők számára voltak elérhetők.
Somani beszámolója alapján a modell nemcsak helyes végeredményeket adott, hanem összetett, ellenőrizhető bizonyításokat is készített, amelyek formálisan is megállták a helyüket. A megoldások több esetben eltértek a korábbi emberi megközelítésektől, sőt, teljesebb válaszokat kínáltak egyes klasszikus feladatokra.
Az MI különösen jól teljesít a híres magyar matematikus, Paul Erdős nevéhez fűződő, több mint ezer nyitott problémát tartalmazó gyűjtemény feldolgozásában. Karácsony óta 15 ilyen feladat került a „megoldott” kategóriába, amelyek közül 11 esetben az MI aktív szerepét is feltüntették.
A világhírű matematikus Terence Tao szerint az MI különösen alkalmas az egyszerűbb, kevésbé ismert problémák szisztematikus feldolgozására. Bár az emberi kutatókat egyelőre nem váltja ki, a technológia már most is érdemi segítséget nyújt a matematikai kutatásban.
A fejlődést az automatizált bizonyítás-ellenőrző és formalizációs eszközök terjedése is gyorsítja, mint például a Microsoftnál fejlesztett Lean, illetve az újabb MI-alapú megoldások. A szakértők szerint mindez arra utal, hogy a mesterséges intelligencia a jövőben egyre fontosabb szerepet kap a tudományos felfedezésekben — különösen a matematikában. – írja TechCrunch.
Kép forrása: Live Science