Vietnamský doktorand Trinh Hoang Trieu minulý týden úspěšně obhájil na Newyorské univerzitě svou disertační práci na téma řešení problémů s využitím umělé inteligence. Výzkum byl spolu s příspěvky dvou vědců z Google DeepMind, Dr. Le Viet Quoca a Luong Thanga, publikován v časopise Nature.

Se sadou 30 geometrických úloh z olympijských her v letech 2000 až 2022 vyřešila AlphaGeometry 25 úloh, což je v porovnání s průměrným skóre zlatých medailistů 25,9, což daleko překonává 10 úloh počítačových matematických systémů vyvinutých v 70. letech 20. století.

snímek obrazovky z 18. ledna 2024 na adrese 134500.png
Mezi členy AlphaGeometry (zleva) patří Yuhuai Wu, Trinh Hoang Trieu, Le Viet Quoc a Luong Thang. Foto: WashingtonPost

V posledních letech se Google DeepMind věnuje řadě výzkumných projektů v oblasti umělé inteligence souvisejících s matematikou. Proto se jako kritéria pro hodnocení strojového učení používají úlohy na úrovni olympiády.

Podle Michaela Baranyho, historika matematiky na Edinburské univerzitě, je výzkum AlphaGeometry „milníkem ve schopnosti autonomního uvažování na lidské úrovni“.

Terence Tao, matematik z Kalifornské univerzity, který ve 12 letech získal zlatou olympijskou medaili, označil systém umělé inteligence za „fantastický úspěch“ a jeho výsledky prohlásil za „překvapivé“.

snímek obrazovky z 18. ledna 2024 na adrese 134155.png
Výzkum alfageometrie byl publikován ve vědeckém časopise Nature.

Autor studie Trinh Hoang Trieu mezitím uvedl, že matematické uvažování je jen formou uvažování, ale má tu výhodu, že se snadno ověřuje. „Matematika je jazykem pravdy,“ řekl vietnamský lékař. „Pokud chcete vyvinout systém umělé inteligence, musíte vytvořit důvěryhodnou umělou inteligenci, která dokáže najít pravdu, které mohou uživatelé důvěřovat,“ zejména v aplikacích s vysokými bezpečnostními požadavky.

AlphaGeometry je systém, který kombinuje model jazyka neuronové sítě (hluboko založený na umělé intuici, podobný ChatGPT, ale menší) se symbolickým enginem (specializujícím se na umělé uvažování, jako logický počítač), než je doladěn pro pochopení geometrie.

Zvláštností algoritmu je, že dokáže vygenerovat řešení z ničeho. Současné modely umělé inteligence naopak musí hledat existující nebo podobná řešení, která lidé našli.

Výsledky byly založeny na neuronové síti trénované na 100 milionech geometrických příkladů bez lidských odpovědí. Když začala pracovat na problému, symbolický engine fungoval jako první. Pokud se zasekl, neuronový algoritmus navrhl způsoby, jak argumentaci vylepšit. Tato smyčka pokračovala, dokud nevypršel čas (čtyři a půl hodiny) nebo dokud nebyl problém vyřešen.

Stanislas Dehaene, kognitivní neurovědec z College de France, uvedl, že na něj výkon AlphaGeometry udělal dojem, ale systém „nevnímá nic o problému, který řeší“. Jinými slovy, algoritmus zpracovává pouze logické a numerické kódování obrázků. „Nemá prostorové vnímání kruhů, čar ani trojúhelníků.“

Dr. Luong Thang uvedl, že tento „smyslový“ prvek by mohl být přidán letos s využitím platformy Gemini AI od společnosti Google.

(Podle Washington Postu)

Generativní umělá inteligence dominuje diskusím v Davosu Rychlý rozvoj umělé inteligence (AI) dominoval soukromým i veřejným diskusím na Světovém ekonomickém fóru, kde předvedly svou sílu největší technologické společnosti, včetně Salesforce, Microsoftu a Googlu.