
Międzynarodowa Olimpiada Matematyczna: Wyzwanie najwyższej rangi
Międzynarodowa Olimpiada Matematyczna (IMO) wyróżnia się jako jeden z najbardziej prestiżowych na świecie konkursów dla młodych matematyków. Co roku sześciu studentów z każdego uczestniczącego kraju spotyka się, aby zmierzyć się z zestawem sześciu niezwykle złożonych zadań matematycznych. Zaledwie 8% z nich otrzymuje prestiżowy złoty medal za swoje wyjątkowe rozwiązania.
Sztuczna inteligencja rywalizuje na konferencji IMO: OpenAI kontra Google
Tegoroczne IMO przyniosło nowoczesny zwrot akcji, ponieważ czołowi giganci technologiczni, OpenAI i Google, wkroczyli do rywalizacji ze swoimi najnowocześniejszymi modelami uczenia się języków (LLM).W weekend OpenAI ogłosiło niezwykłe osiągnięcie, twierdząc, że jego eksperymentalny model LLM działał na poziomie zarezerwowanym zazwyczaj dla medalistów. Aby to zweryfikować, OpenAI przetestowało swój model na problemach IMO z 2025 roku, ściśle przestrzegając tych samych warunków, co konkurenci. Model musiał rozwiązać złożone problemy podczas dwóch 4, 5-godzinnych sesji egzaminacyjnych bez pomocy zewnętrznych narzędzi ani dostępu do internetu, a jego zadaniem było tworzenie dowodów w języku naturalnym.
Osiągnęliśmy wynik na poziomie złotego medalu 🥇 na Międzynarodowej Olimpiadzie Matematycznej 2025, zdobywając tytuł LLM z rozumowania ogólnego! Nasz model rozwiązał światowej klasy problemy matematyczne – na poziomie najlepszych zawodników. To ważny kamień milowy dla sztucznej inteligencji i matematyki.https://t.co/u2RlFFavyT
— OpenAI (@OpenAI) 19 lipca 2025 r
Gemini Deep Think od Google: Mocny kandydat
Równocześnie, Google ogłosiło niedawno, że jego zaawansowany model Gemini Deep Think pomyślnie rozwiązał pięć z sześciu problemów IMO, osiągając wydajność porównywalną ze standardami złotego medalu. Ta ulepszona wersja Gemini integruje najnowocześniejsze tryby rozumowania zaczerpnięte z najnowszych przełomowych odkryć badawczych Google, w tym techniki umożliwiające jednoczesną eksplorację wielu ścieżek rozwiązywania problemów, zamiast tradycyjnego podejścia sekwencyjnego.
Zespół Google DeepMind uważa, że postęp w Gemini Deep Think jest znaczący:
Aby w pełni wykorzystać możliwości Deep Think w zakresie rozumowania, dodatkowo przeszkoliliśmy tę wersję Gemini w zakresie nowatorskich technik uczenia się przez wzmacnianie, które pozwalają na wykorzystanie większej liczby danych do wieloetapowego rozumowania, rozwiązywania problemów i dowodzenia twierdzeń. Zapewniliśmy również Gemini dostęp do starannie dobranego korpusu wysokiej jakości rozwiązań problemów matematycznych i dodaliśmy do instrukcji kilka ogólnych wskazówek i porad dotyczących rozwiązywania problemów IMO.
Przyszła dostępność zaawansowanych modeli
Google planuje wkrótce udostępnić nową wersję modelu Deep Think wybranej grupie zaufanych testerów. Po tym etapie będzie ona dostępna dla subskrybentów Google AI Ultra, co stanowi znaczący krok naprzód w zastosowaniu sztucznej inteligencji w rozwiązywaniu złożonych problemów matematycznych.
Dodaj komentarz