zprávy o openai IMO mě tento víkend pěkně zasáhly Myslím, že jsem stále v akutní fázi nárazu Považuji se za profesionálního matematika (což je charakteristika, se kterou by někteří skuteční profesionální matematici mohli polemizovat, ale moje strana je mým pravidlem) a nemyslím si, že dokážu odpovědět na jedinou otázku IMO Dobře, ano, IMO je vlastní malá atletická podsekce matematiky, na kterou jsem netrénoval, atd. atd., ale. Pokud potkám někoho v divočině, kdo má IMO zlato, okamžitě aktualizuji na "Tento člověk je v matematice mnohem lepší než já" Nyní to dokáže banda robotů. Jako někdo, kdo má hodně ze své identity a svého skutečného života postaveného na tom, že "je dobrý v matematice", je to rána do břicha. je to druh umírání. Třeba že jednoho dne zjistíte, že můžete mluvit se psy. Je to zábavné a zajímavé, takže to děláte více, učíte se složitosti jejich jazyka a jejich nejhlubší zvyky. Zjistíte, že ostatní lidé jsou překvapeni tím, co dokážete. Nikdy jste úplně nezapadli, ale naučíte se, že lidé oceňují vaše schopnosti a chtějí, abyste jim pomohli. Psi vás také ocení, jediný dvounohý, který to opravdu chápe. Sestavujete si pro sebe určitý druh sounáležitosti. Pak se jednoho dne probudíte a univerzální překladač pro psy je na prodej ve Walmartu za 4.99 $ výsledek IMO není zrovna novinkou. ve skutečnosti, pokud se podíváte na graf délky úlohy agenta METR v čase, myslím, že schopnost agentů řešit ~ 1,5 hodinové problémy přichází přesně včas. Takže bychom neměli být svým způsobem překvapeni. A skutečně se zdá, že stejného výsledku dosáhlo více společností. je to prostě... stoupající příliv stoupá stejně rychle, jako stoupá Samozřejmě, že smutek nad mou osobní identitou jako matematičky (a/nebo produktivní členky společnosti) je tou nejmenší částí tohoto příběhu Vynásobte tento zármutek *každým* matematikem, každým kodérem, možná každým znalostním pracovníkem, každým umělcem... během několika příštích let... Je to trochu větší příběh A samozřejmě, kromě toho je tu strach ze skutečné smrti, o kterém se možná budu rozepisovat později. Tento balíček – Grief for Relevance, Grief for Life, Grief for What Known – není jedinečný pro věk umělé inteligence nebo něco podobného. Myslím, že je to standardní věc, když se blíží konec kariéry nebo konec života. Jen se může stát, že to pro mnohé z nás přijde o něco dříve, najednou. zajímalo by mě, jestli jsme připraveni

Jsme svědky mnohem rychlejšího pokroku v umělé inteligenci, než předpovídali Paul Christiano a Yudkowsky, kteří měli v roce 2025 zlato na 8 % a 16 %, a to metodami, které jsou obecnější, než se očekávalo.

Takže všechny modely v nových otázkách Mezinárodní matematické olympiády zaostávají za lidmi a Grok-4 je v tom obzvláště špatný, a to i při výběru best-of-n? Neuvěřitelný!

Sledovat, jak model řeší tyto problémy IMO a dosahuje výkonu na zlaté úrovni, bylo kouzelné. Pár myšlenek 🧵