Každý rok si delegace na Mezinárodní matematické olympiádě přivážejí sborníky svých nejlepších a nejoriginálnějších úloh. Ty se mezi účastníky sice sdílejí, ale pak obvykle zapadnou. Až dosud neexistoval systematický pokus tyto materiály shromáždit a zpřístupnit širší veřejnosti. To se nyní změnilo. Výzkumníci z MIT, KAUST a organizace HUMAIN vytvořili databázi MathNet, která představuje největší otevřený soubor důkazových matematických úloh na světě. Obsahuje přes 30 000 úloh a řešení z 47 zemí, v 17 jazycích a ze 143 soutěží. Ve srovnání s dosavadními databázemi je zhruba pětkrát větší.
Zásadní je nejen rozsah, ale i pestrost. MathNet pokrývá čtyři desetiletí soutěžní matematiky napříč šesti kontinenty a zahrnuje jak textové, tak obrazové úlohy. Na rozdíl od dřívějších datasetů, které čerpaly hlavně z USA a Číny, zachycuje různé matematické tradice a způsoby uvažování z celého světa.
Sestavení databáze nebylo jednoduché. Tým musel dohledat téměř 1600 PDF dokumentů o více než 25 000 stranách, včetně starých skenů. Klíčovou roli sehrál soukromý archiv Navida Safaeiho, který tyto materiály ručně shromažďoval řadu let.
Velkou výhodou MathNetu je kvalita zdrojů. Úlohy pocházejí výhradně z oficiálních soutěžních sborníků a jejich řešení jsou odborně zpracovaná a často nabízejí více přístupů. To z databáze dělá cenný nástroj nejen pro trénink AI, ale i pro studenty připravující se na olympiády, často bez systematické podpory.
Současně dataset ukazuje limity současné umělé inteligence. I nejlepší modely nedosahují stoprocentní úspěšnosti a mají problémy zejména s úlohami obsahujícími obrázky nebo s méně rozšířenými jazyky. Výsledky tak naznačují, že pokrok v matematickém uvažování AI je stále nerovnoměrný.
MathNet nabízí i nové způsoby testování – například schopnost rozpoznat, že dvě úlohy sdílejí stejnou matematickou strukturu. To je výzva nejen pro stroje, ale i pro lidské odborníky. Databáze tak nepředstavuje jen archiv úloh, ale i nástroj, který může změnit způsob, jakým se matematika učí, sdílí a zkoumá.