AI właśnie zdobyło złoto na Międzynarodowej Olimpiadzie Matematycznej 🥇
Modele OpenAI i Google'a rozwiązały 5/6 problemów przy użyciu ogólnych LLM-ów zgodnie z rzeczywistymi zasadami egzaminu.
Era AGI w formalnej matematyce się rozpoczęła 👇
Zdobycie złota oznacza uzyskanie wyniku 35/42. To poziom osiągany tylko przez garstkę elitarnych uczniów szkół średnich na całym świecie.
Modele zarówno OpenAI, jak i Google osiągnęły ten wynik.
Bez kalkulatorów. Bez wyszukiwania. Tylko naturalne rozumowanie językowe.
Tryb „Deep Think” w Gemini 2.5 od Google:
- Eksplorował rozwiązania równolegle
- Uczył się na strategiach dowodowych i zbiorach matematycznych
- Wykorzystał uczenie przez wzmocnienie w zadaniach wymagających wieloetapowego rozumowania
Jego dowody były tak dopracowane, że oceniający IMO uznali je za publikowalne.
Model OpenAI nie był trenowany do IMO.
Użyto:
- Ogólnych technik RL
- Braku dostępu do internetu lub narzędzi
- Dowodów w języku naturalnym
OpenAI zleciło ocenę każdego dowodu niezależnie 3 byłym medalistom IMO, osiągając jednogłośną zgodę.
Model nawet wiedział, kiedy nie miał ważnej odpowiedzi na P6... pokazując swoje umiejętności w rozumowaniu, sprawdzaniu błędów i samoświadomości.
Wierzymy, że największy wpływ AI może leżeć w matematyce.
Dlaczego? Ponieważ matematyka napędza wszystko, od logiki DeFi po bezpieczeństwo protokołów, a jej weryfikacja jest możliwa.
AI, które rozumują jak laureaci Medalu Fieldsa, przekształcą sposób, w jaki budujemy.
W nadchodzących latach spodziewamy się, że AI:
• Udoskonali matematykę na poziomie szkoły średniej i studiów (IMO, Putnam)
• Rozwiąże zaawansowane problemy badawcze
• Przyczyni się do sformalizowanych dowodów podstawowych twierdzeń
• Zwiększy skalę współpracy w zdecentralizowanej matematyce
Widzimy przyszłość, w której matematyka nie tylko jest zautomatyzowana, ale także zdemokratyzowana, bez zaufania i kompozytowa. 💙
3,98 tys.
108
Treści na tej stronie są dostarczane przez strony trzecie. O ile nie zaznaczono inaczej, OKX nie jest autorem cytowanych artykułów i nie rości sobie żadnych praw autorskich do tych materiałów. Treść jest dostarczana wyłącznie w celach informacyjnych i nie reprezentuje poglądów OKX. Nie mają one na celu jakiejkolwiek rekomendacji i nie powinny być traktowane jako porada inwestycyjna lub zachęta do zakupu lub sprzedaży aktywów cyfrowych. Treści, w zakresie w jakim jest wykorzystywana generatywna sztuczna inteligencja do dostarczania podsumowań lub innych informacji, mogą być niedokładne lub niespójne. Przeczytaj podlinkowany artykuł, aby uzyskać więcej szczegółów i informacji. OKX nie ponosi odpowiedzialności za treści hostowane na stronach osób trzecich. Posiadanie aktywów cyfrowych, w tym stablecoinów i NFT, wiąże się z wysokim stopniem ryzyka i może podlegać znacznym wahaniom. Musisz dokładnie rozważyć, czy handel lub posiadanie aktywów cyfrowych jest dla Ciebie odpowiednie w świetle Twojej sytuacji finansowej.