Az Aristotle AI megoldott egy 30 éves Erdős-matematikai problémát
Az Aristotle, a Harmonic által épített AI-rendszer, önállóan megoldott egy 30 éves Erdős-problémát, ami a kutatók szerint az első valódi lépés a matematika „vibe proving” (érzésalapú bizonyítás) korszaka felé. Az eredmény az Aristotle béta verziójától származik, amely erősebb érvelési képességekkel és egy természetes nyelvi felülettel rendelkezik a lépésről lépésre történő bizonyítások feltárásához és kidolgozásához.
- Az Aristotle hat óra alatt oldotta meg a 90-es évek óta nyitott 124-es számú Erdős-probléma egy változatát.
- A rendszer mindössze egy perc alatt formálisan is igazolta a bizonyítást Lean nyelven.
- A Harmonic alapítója, Vlad Tenev, ezt a „vibe proving” eljöveteleként jellemezte – az AI által vezérelt bizonyítás-felfedezést géppel ellenőrizhető szigorúság követi.
- Ez a fejlesztés a Harmonic 120 millió dolláros finanszírozását és az Aristotle IMO aranyérmes szintű teljesítményét követi.
Miért fontos?
A Harmonic áttörése egy újabb lépés a matematikai szuperintelligencia felé, ahol a bizonyításokat emberfeletti sebességgel generálják, ellenőrzik és skálázzák. Az ilyen eszközök megnyithatják az utat a haladó matematikában való részvétel előtt, így az a szakértők kiváltságából olyasvalamivé válhat, amihez bárki hozzájárulhat. ---