MATH INC.
A Gauss AI-rendszer megoldott egy matematikai bizonyítást, amely hónapokig kifogott az embereken
A Math Inc. bemutatta a Gauss nevű AI-rendszert, amely mindössze három hét alatt megoldott egy komplex matematikai tételt, az úgynevezett Erős Prímszám Tételt (Strong Prime Number Theorem) – miután neves matematikusok 18 hónapig küzdöttek vele.
- A Gauss teljesítette az Erős Prímszám Tétel formalizálási kihívását, amelyet a neves matematikusok, Terence Tao és Alex Kontorovich tűztek ki 2024-ben.
- Az emberi szakértők „részleges haladást” értek el a feladattal; a közösség júliusban, 18 hónap után fejezte be a tétel „közepes” (Medium) változatát.
- A Gauss egyszerre órákon át autonóm módon dolgozott, 25 000 sornyi ellenőrzött matematikai kódot produkálva, amely több mint 1000 egymáshoz kapcsolódó bizonyítást és definíciót tartalmazott.
- A Math Inc. tervei szerint 12 hónapon belül 100-1000-szeresére bővíti a matematikai kódbázist, tanítóadatokat hozva létre a „gépi polihisztorok” és az „ellenőrzött szuperintelligencia” számára.
Miért fontos?
A bonyolult matematika a logikus érvelés alapja, és az AI növekvő jártassága ezen a téren az egyik legfontosabb jele annak, hogy olyan rendszerek felé tartunk, amelyek képesek új ötleteket alkotni és növelni a világról alkotott tudásunkat. Látva a Gausst, valamint a Google, az OpenAI és mások matematikai olimpián elért aranyérmeit, a technológiai gyorsulás rendkívül ütemes. ---