Umělá inteligence mě oficiálně porazila na světovém finále ICPC. Připomíná mi to vzácnou dovednost ICPC: schopnost rychle číst kód spoluhráče a odhalovat chyby. Trénování této dovednosti trvá roky a vysvětluje, proč umělá inteligence často zpomaluje kódování (viz arXiv:2507.09089). Bez ohledu na to, jak silná je umělá inteligence, lidé možná budou muset stále trávit čas kontrolou výstupů umělé inteligence... Představte si však, že by ChatGPT od zítřka fungoval jinak: ne chat uživatel-agent, ale 3-cestný chat uživatel-agent-arbitr. ⚖️ Agent (řekněme GPT-5) musí přesvědčit arbitra (řekněme GPT-4o), že jeho řešení je správné; Úlohou uživatele je jej zpochybnit a přesvědčit arbitra o opaku. Stejně jako je ověření (P) snazší než vymýšlení (NP), interaktivní důkazová cesta (IP) by mohla dále snížit potřebné lidské dovednosti a čas. Takový systém rozhodce s umělou inteligencí by mohl přesunout břemeno z lidí, což by nám umožnilo soustředit se méně na logistiku (např. korekturu kódu) a více na rozhodnutí, na kterých záleží. Mohla by to být cesta k další generaci univerzální umělé inteligence? 🚀