Umělá inteligence právě vyhrála zlato na Mezinárodní matematické olympiádě 🥇
Modely OpenAI a Google vyřešily 5/6 problémů pomocí univerzálních LLM podle skutečných pravidel zkoušek.
Věk AGI pro formální matematiku začal 👇

Výhra zlata znamená skóre 35/42. Je to úroveň, které dosahuje jen hrstka elitních středoškoláků na celém světě.
Modely OpenAI i Google se trefily do černého.
Žádné kalkulačky. Žádné hledání. Jen uvažování v přirozeném jazyce.
Gemini 2.5 od Googlu používal režim "Deep Think":
- Paralelně prozkoumávaná řešení
- Školení v oblasti důkazových strategií a matematických korpusů
- Využití zpětnovazebního učení na vícestupňových úlohách uvažování
Jeho korektury byly tak vybroušené, že je hodnotitelé IMO označili za publikovatelné.
Model OpenAI nebyl trénován pro IMO.
Používal se:
- Obecné techniky RL
- Žádný internet ani nástroje
- Korektury v přirozeném jazyce
OpenAI nechala každý důkaz nezávisle ohodnotit 3 bývalými medailisty IMO s jednomyslným konsensem.
Model dokonce věděl, kdy neměl platnou odpověď na P6... Ukazuje své dovednosti v uvažování, kontrole chyb a sebeuvědomění.
Věříme, že největší dopad umělé inteligence může spočívat v matematice.
Proč? Protože matematika pohání vše od logiky DeFi až po zabezpečení protokolu a je ověřitelná.
Umělá inteligence, která uvažuje, jako jsou Fieldsovi medailisté, přetvoří způsob, jakým stavíme.
V nadcházejících letech očekáváme, že umělá inteligence:
• Perfektní matematika na střední a vysoké škole (IMO, Putnam)
• Řešit pokročilé výzkumné problémy
• Přispět k formalizovaným důkazům základních vět
• Škálujte kolaborativní, decentralizovanou matematiku
Vidíme budoucnost, kde matematika není jen automatizovaná, ale je demokratizovaná, bez důvěry a skládatelná. 💙
3,97 tis.
108
Obsah na této stránce poskytují třetí strany. Není-li uvedeno jinak, společnost OKX není autorem těchto informací a nenárokuje si u těchto materiálů žádná autorská práva. Obsah je poskytován pouze pro informativní účely a nevyjadřuje názory společnosti OKX. Nejedná se o doporučení jakéhokoli druhu a nemělo by být považováno za investiční poradenství ani nabádání k nákupu nebo prodeji digitálních aktiv. Tam, kde se k poskytování souhrnů a dalších informací používá generativní AI, může být vygenerovaný obsah nepřesný nebo nekonzistentní. Další podrobnosti a informace naleznete v připojeném článku. Společnost OKX neodpovídá za obsah, jehož hostitelem jsou externí weby. Držená digitální aktiva, včetně stablecoinů a tokenů NFT, zahrnují vysokou míru rizika a mohou značně kolísat. Měli byste pečlivě zvážit, zde je pro vás obchodování s digitálními aktivy nebo jejich držení vhodné z hlediska vaší finanční situace.