Nocsak, a dípmájnd bejelentette, hogy az AlphaGeometry 2 rendszerük már aranyérmes szinten oldja a nemzetközi matek olimpia mértanfeladatait. Ehhez nem kellett más, mint kicsit bővíteni a szimbolikus leírónyelvet, hogy legyen benne még néhány fogalom, gyorsítani a szimbolikus végrehajtót, a legújabb gúgel nyelvmodellt bérakni és még egyebek, amikre nem emlékszem, de nem tűnnek túl vad elméleti ugrásoknak és máris összejött a 84% (mármint ekkora részét tudja megoldani az utóbbi 25 év feladatainak). Persze gondolom a munka tovább folyik, amíg el nem érik a 100%-ot, aztán meg persze ha van rá igény, lehet arra is gyúrni, hogy minél gyorsabban tudja megoldani a rendszer a feladatokat, meg hogy ne kelljen átírni természetes nyelvből szimbolikus specifikációba. A lényeg az, hogy még egy kis szeget bévertek az emberi intelligencia koporsójába. Vagy keresztjébe. Vagy kilövőállomásába. Kinek mit hoz a jövő.
Az, hogy mennyire hasznos a mértan feladatok megoldása az általános intelligenciához, még nyitott kérdés, emberek és gépek esetén is. De szerintem 2029-ig eldől.
Demó.
Zene.
Nincsenek megjegyzések:
Megjegyzés küldése