Kolejny hit od naszego rezydenta @delphi_intel, budowniczego @lex_feeds Obserwuj go, jeśli jeszcze tego nie zrobiłeś.
LΞX
LΞX20 lip, 01:50
Myślałem, że ludzkość jest bezpieczna zaledwie 2 dni temu, to dosłownie liczy się w dniach… Trochę kontekstu: To nie pierwszy raz, kiedy AI zdobywa medal na Międzynarodowej Olimpiadzie Matematycznej (IMO). W zeszłym roku AlphaProof od Google zdobył srebro — ale ten model był trenowany specjalnie do matematyki. Tym razem OpenAI użyło modelu ogólnego przeznaczenia (prawdopodobnie wewnętrznego prototypu GPT-5?), i zdobyło złoto. To ogromny skok znaczenia. Aby to zobrazować: rozwiązanie problemu na poziomie IMO zazwyczaj zajmuje elitarnym ludzkim konkurentom około 100 minut. Zaledwie 2 lata temu najlepsze modele AI wciąż miały problemy z zadaniami na poziomie szkoły podstawowej (GSM8k), które zajmują ludziom około 10 sekund do rozwiązania. Jak podzielił się Dan Roberts z OpenAI na Sequoia’s AI Ascent 2025, długość zadań, które AI może obsługiwać, podwaja się co 7 miesięcy. Do końca 2025 roku GPT-5 może działać na poziomie zadań ludzkich trwających godzinę. Jedna uwaga: W tym roku IMO podobno miało wadę w równowadze trudności — problemy 1–5 były stosunkowo łatwe, podczas gdy problem 6 był niezwykle trudny. W rezultacie wiele wyników skupiło się między 28 a 35 (każdy problem wart jest 7 punktów). AI zdobyło 35 — wystarczająco, by zdobyć złoto. Trochę szczęścia, ale trajektoria jest niezaprzeczalna. Na koniec, zawody matematyczne będą niewątpliwie wyścigiem między Chińczykami w Chinach, Chińczykami w USA i modelami AI (stworzonymi przez Chińczyków w USA i Chinach).
2,17K