MathNet: Rewolucja w dostępie do zadań matematycznych na poziomie olimpijskim

Jedną z najbardziej ekscytujących rzeczy związanych z Międzynarodową Olimpiadą Matematyczną (IMO) jest udostępnianie broszur wypełnionych wyjątkowo trudnymi zadaniami matematycznymi z każdego uczestniczącego kraju. Jednak po zakończeniu imprezy broszury te zazwyczaj znikają, pozostawiając pustkę dla badaczy sztucznej inteligencji i studentów trenujących do zawodów. Teraz zespół składający się z naukowców z Computer Science and Artificial Intelligence Laboratory (CSAIL) na MIT, King Abdullah University of Science and Technology (KAUST) i firmy HUMAIN znalazł sposób na wypełnienie tej luki.

Ich innowacyjnym rozwiązaniem jest MathNet, skarbnica wysokiej jakości problemów matematycznych opartych na dowodach, która jest największym zbiorem danych tego rodzaju. Zawiera on ponad 30 000 problemów i rozwiązań autorstwa ekspertów z 47 różnych krajów, w 17 językach, pochodzących ze 143 konkursów, co czyni go pięciokrotnie większym niż jakikolwiek wcześniejszy zbiór danych. Jako świadectwo sukcesu, MathNet zostanie zaprezentowany w nadchodzących tygodniach na Międzynarodowej Konferencji na temat Reprezentacji Uczenia się (ICLR) w Brazylii.

Ale to, co naprawdę wyróżnia MathNet, to nie tylko jego rozmiar; to różnorodność, którą wnosi. W przeciwieństwie do wcześniejszych zbiorów danych, które podkreślały przede wszystkim konkursy tylko z USA i Chin, MathNet obejmuje szerokie spektrum krajów, sześć kontynentów, siedemnaście języków i cztery dekady matematycznej rywalizacji. Został zaprojektowany tak, aby objąć cały zakres matematycznych perspektyw i tradycji rozwiązywania problemów, które obejmują cały świat.

Stworzenie MathNet nie było zadaniem wykonanym z dnia na dzień. Obejmowało ono zebranie 1595 tomów PDF, czyli ponad 25 000 stron, pochodzących z dokumentów cyfrowych i skanów z ostatnich kilku dekad w wielu językach. Jednym z kluczowych współpracowników był Navid Safaei, stały członek społeczności IMO, który ręcznie zbierał i skanował te broszury od 2006 roku.

MathNet gwarantuje jakość poprzez pozyskiwanie problemów wyłącznie z oficjalnych krajowych broszur konkursowych, zapewniając rozwiązania, które są pisane przez ekspertów i recenzowane. Daje to modelom AI głębsze spojrzenie na rozumowanie matematyczne i zapewnia uczniom dużą, przeszukiwalną kolekcję najlepszych problemów i szczegółowych rozwiązań z całego świata.

Niektóre z najbardziej zaawansowanych modeli na świecie, takie jak GPT-5, zostały przetestowane w MathNet, ujawniając nierównomierny postęp w wydajności sztucznej inteligencji. Najbardziej wydajny model, GPT-5, uzyskał średnio zaledwie 69,3% w teście porównawczym MathNet składającym się z 6 400 problemów, co wskazuje na możliwość znacznej poprawy.

Co więcej, ta różnorodna kolekcja MathNet może potencjalnie wystawić modele AI na globalny zakres kultur matematycznych, a tym samym poprawić sposób, w jaki modele AI uczą się matematyki. Obejmując różne perspektywy matematyczne, planuje poprawić myślenie matematyczne nie tylko u ludzi, ale także w systemach sztucznej inteligencji. Wprowadzono nawet test porównawczy w celu sprawdzenia, czy modele mogą rozpoznać, kiedy dwa problemy wynikają z tej samej podstawowej struktury matematycznej, co ma kluczowe znaczenie dla rozwoju sztucznej inteligencji i szerszej społeczności matematycznej.

Aby poznać tę matematyczną krainę czarów, odwiedź mathnet.csail.mit.edu. Jeśli chcesz zagłębić się w oryginalne wiadomości, sprawdź MIT News. A dla tych, którzy chcą wprowadzić automatyzację AI do biznesu, warto rozważyć skorzystanie z pomocy implementi.ai.