Chiński start-up DeepSeek udostępnił pierwszy na świecie otwarty model sztucznej inteligencji, który osiąga wyniki na poziomie złotego medalu Międzynarodowej Olimpiady Matematycznej (IMO). To technologiczny przełom, który może zmienić globalny rynek AI – od badań naukowych po edukację i rozwój nowych algorytmów.
Firma DeepSeek ogłosiła, że jej najnowszy model Math-V2 jako pierwszy otwarto-źródłowy system sztucznej inteligencji osiągnął wyniki porównywalne ze zdobyciem złotego medalu na International Mathematical Olympiad (IMO). A to najbardziej prestiżowy konkurs matematyczny na świecie, organizowany od 1959 roku.
To ogromne osiągnięcie, bo zadania IMO wymagają nie tylko znajomości zaawansowanej matematyki, ale też twórczego rozumowania, głębokiej analizy i precyzyjnych dowodów.
Pierwszy „złoty medalista”, którego kod jest publiczny
Math-V2 został udostępniony na platformach Hugging Face i GitHub na bardzo liberalnej licencji. Pozwala na pełne wykorzystanie modelu: modyfikację, optymalizację, komercjalizację oraz uruchamianie na własnym sprzęcie.
Osiągnięcie jest szczególnie znaczące. Dotąd bowiem złote wyniki na IMO uzyskały jedynie zamknięte modele Google DeepMind i OpenAI. DeepSeek jest więc pierwszą firmą, która otworzyła tak zaawansowany model matematyczny dla całej społeczności badaczy i deweloperów.
Model uzyskał złoty poziom zarówno na zadaniach tegorocznej IMO, jak i na problemach z Chińskiej Olimpiady Matematycznej 2024.
„Mózg wybitnego matematyka za darmo”
Reakcje w środowisku były natychmiastowe.
– Wyobraź sobie, że masz za darmo mózg jednego z najlepszych matematyków świata, który możesz badać, dostrajać i uruchamiać na własnym sprzęcie. Bez ograniczeń. Bez firmy ani rządu, który może ci go odebrać – napisał Clement Delangue, dyrektor Hugging Face.
To – jak podkreślił – prawdziwa demokratyzacja AI i przełomowy moment dla otwartych modeli.
Self-verification: klucz do matematycznej rewolucji
W analizie opublikowanej na Hugging Face naukowcy DeepSeek wyjaśniają, że ich nadrzędnym celem było stworzenie naprawdę matematycznego modelu AI, a nie jedynie „nabijanie punktów” w benchmarkach.
Math-V2 został wyposażony w zaawansowaną funkcję self-verification – zdolność samodzielnego sprawdzania poprawności swoich rozwiązań. Co istotne, potrafi weryfikować także zadania, dla których nie istnieje znane rozwiązanie referencyjne.
To odpowiedź na jedno z głównych ograniczeń obecnych systemów AI. Łatwo jest je trenować i optymalizować tylko na zadaniach, które posiadają oczywiste, weryfikowalne odpowiedzi.
Badacze uważają, że ta technika może wyznaczyć nowy kierunek rozwoju w AI matematycznej.
Kontrast z zachodnimi gigantami
Dla porównania. Model Google DeepMind z wynikami na poziomie IMO dostępny jest jedynie w płatnym planie Ultra. A Sam Altman zapowiedział, że eksperymentalny model OpenAI zdobywający złoto w IMO nie zostanie udostępniony publicznie przez wiele miesięcy.
W tym kontekście publikacja DeepSeek staje się strategicznym ruchem – zarówno naukowym, jak i wizerunkowym.
Foto: Qwen3/AI.