Matematiğin küresel hazinesi: 30 bin soruluk dev arşiv MathNet yayında

Dünya çapındaki genç dahilerin 1959’dan beri ter döktüğü Uluslararası Matematik Olimpiyatları (IMO), yaratıcılığın sınırlarını zorlayan altı soruyla bilinir. Ancak madalya törenleri bittiğinde, o üstün zeka ürünü çözümler genellikle unutulmaya yüz tutar.

MIT’de doktora yapan Shaden Alshammari, bu entelektüel mirası korumak için yola çıkarak “MathNet” adlı platformu kurdu. MathNet, sadece bir arşiv değil; olimpiyat düzeyindeki problemlerden oluşan, dünyanın en kapsamlı, çok dilli ve çok modüllü veri seti olarak bilim dünyasında yerini aldı.

Alshammari ve ekibi, 47 farklı ülkeden ve 143 ayrı yarışmadan gelen 30 binin üzerinde uzman problemini bir araya getirmek için modern belgelerden on yıllar öncesine ait el yazmalarına kadar her şeyi taradı. Ortaya çıkan devasa yapı, en yakın rakibinden beş kat daha büyük bir kapasite sunuyor. Ancak MathNet’i asıl devrimci kılan, matematiğin evrenselliğini farklı kültürel perspektiflerle sunması. Çin’in algoritmik gücü, Fransa’nın saf matematik odağı ve Rusya’nın soyutlama yeteneği tek bir veri setinde birleşerek, hem öğrenciler hem de yapay zeka için eşsiz bir mantık havuzu oluşturuyor.

Yapay zekaya “soğuk duş” etkisi

Günümüzün en gelişmiş yapay zeka modelleri bile, konu MathNet’teki karmaşık ve özgün mantık yürütme sorularına geldiğinde ciddi bir tıkanma yaşıyor. Yapılan testler, en yetenekli programların bile MathNet’teki her üç sorudan birinde hatalı sonuç verdiğini gösterdi. Özellikle geometri gibi görsel algı ve mekansal zeka gerektiren alanlarda makinelerin “görmediği“, sadece daireleri ve çizgileri matematiksel olarak manipüle ettiği gerçeği gün yüzüne çıkıyor. MathNet, bu yönüyle yapay zeka modelleri için bir nevi “gerçeklik kontrolü” görevi görüyor.

Platformun en büyük amaçlarından biri, olimpiyatlara hazırlanmak isteyen ancak kendi ülkesinde yeterli kaynak bulamayan gençler için dijital bir köprü kurmak. Alshammari’nin bu çabası, bireysel hazırlanan bir öğrenci ile en gelişmiş laboratuvarlardaki makineleri aynı başlangıç çizgisine koyuyor.

Tüm bunların yanında, MathNet sayesinde makinelerin mantık yürütme yeteneklerinin artması ve geleceğin problem çözme modellerinin bu veri setiyle eğitilmesi de hedefler arasında.