Goran Žužić: Agenti na matematičkoj olimpijadi -- Umjetna inteligencija #4

Nakon što je kao srednjoškolac osvajao medalje na nekoliko međunarodnih matematičkih olimpijada, Goran Žužić (zajedno sa svojim timom u Googleu) razvio je AI agente koji su osvojili srebro (2024.) i zlato (2025.) na matematičkoj olimpijadi, kao i zlato na informatičkoj studentskoj olimpijadi.U podcastu razgovaramo o značaju tog rezultata za matematiku i umjetnu inteligenciju. Zatim ulazimo u tehničke detalje dvaju agenata. Posebno je zanimljivo da su agenti potpuno različiti: jedan se oslanja na dokaze u formalnom jeziku Lean, dok drugi koristi orkestraciju standardnog Gemini modela.Članak o AlphaProofu, formalnom agentu iz 2024: https://www.nature.com/articles/s41586-025-09833-yBlogpost o agentu koji je osvojio zlato 2025: https://deepmind.google/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/Poglavlja:*Prvi dio*00:00 Niz isječaka03:20 Znanstvena turneja u Zagrebu04:06 Zlato na matematičkoj olimpijadi06:02 Sudjelovanje na olimpijadi u srednjoj školi07:44 Agenti i profesionalni matematičari11:40 Čovjek i stroj zajedno: analogija sa šahom14:10 Izvanzemaljci i njihov matematički zadatak u misaonom eksperimentu15:30 Kako pomiriti iskustvo s modelima koji rade trivijalne greše s osvajanjem medalja na matematičkim i informatičkim natjecanjima19:43 Računalni resursi potrebni za agente21:15 Dva pristupa izradi matematičkih agenata26:38 Informatička olimpijada30:28 Generalizacija na druge znanstvene discipline33:08 Uloga rada na automatskom rješavanju matematičkih zadatak u poslovnom modelu*Drugi dio: tehnički detalji*36:08 Ključne ideje dvaju različitih pristupa37:24 Na kojem su jeziku zadatci postavljeni agentu41:00 Koliko agenti mogu biti kreativni pri rješavanju zadataka46:10 Goranova uloga - automatsko prevođenje zadatak u formalni jezik Lean53:57 Idući koraci56:30 Uloga sveučilišta i velikih kompanija u doba umjetne inteligencije58:27 Očekivanja otprije pet godina i za pet godina01:03:39 Zagrebačka scena umjetne inteligencije