Matematik, bilim ve bilgisayar kodlama alanlarında yapay zeka sistemlerinin gelişimi hız kazanıyor.
Birkaç yıl öncesine kadar matematikte en yaygın kullanılan araçlar hesap makineleriyken, artık bu yerini yapay zeka sistemlerine bırakmış durumda.
Google, OpenAI ve DeepSeek tarafından geliştirilen yapay zeka modelleri, Uluslararası Matematik Olimpiyatları’nda altın seviye skorlar elde ederek önemli bir başarıya imza attı.
Çinli Deep Seek’in Math-V2 adlı modeli, matematik yarışmasındaki performansında sadece doğru cevapları değil, bu cevapların arkasındaki mantığı da şeffaf bir şekilde açıklama gerekliliğiyle dikkat çekiyor. Bu seviyeye ulaşabilen insan katılımcıların oranı ise yalnızca yüzde 8 olarak belirlendi.
Buna karşın, yarışmada üst sıralarda yer alan beş insan katılımcısı tam puan alırken, yapay zeka modellerinin hiçbiri bu başarıyı gösteremedi.
“SORUYU DOĞRU SORARSANIZ…”
Olimpiyat başkanı ve Slovenya’daki Ljubljana Üniversitesi’nde mühendislik profesörü olan Gregor Dolinar, geleneksel hesap makinelerinin yavaşça kullanım dışı kaldığını ifade ediyor.
Dolinar, yapay zekanın bu alandaki gelişimini “büyüleyici” buluyor ve AFP haber ajansına verdiği demeçte, “Geçmişte bilimsel hesap makinelerine ihtiyaç duyuldu ama şimdi yapay zekaya sormak çok daha pratik” dedi. Ayrıca, “Eğer soruyu doğru bir şekilde formüle ederseniz, yapay zeka soyut ve mantıksal sorunları çözebilir ve nasıl bir sonuca ulaştığını açıklayabilir” diye ekledi.
İKİ YIL ÖNCESİNE KADAR ZORLANIYORDU
OpenAI, 2022 yılında ChatGPT ile yapay zeka patlamasını başlattığında, bu sohbet robotları sorulara yanıt verebiliyor, şiir yazabiliyor ve makaleleri özetleyebiliyordu; ancak matematik sorularında sık sık zorluk yaşıyordu.
Son iki yılda Google ve OpenAI gibi kuruluşlar, ortalama bir insanın çözemeyeceği karmaşık matematik sorunlarıyla daha uyumlu sistemler geliştirmeye yönelik adımlar attı. Geçtiğimiz yıl Google, matematik odaklı geliştirilmiş AlphaGeometry ve AlphaProof gibi yeni sistemleri tanıttı. Ancak bu yapay zekalar, matematik problemlerini çözmek için özel olarak tasarlanmış bir bilgisayar programlama dili olan Lean’e dönüştürülmeden cevap veremiyor.
GPT-5 VE “ÖZ DENETİM” MODELİ
OpenAI’in yeni duyurulan GPT-5 modeli, matematik, biyoloji ve fizik alanındaki araştırmaları derinleştirmeye yardımcı oluyor.
Bu model, Columbia Üniversitesi’ndeki bir matematikçiye, henüz çözülmemiş bir problemi çözmesinde destek sağladığı 20 Kasım tarihinden itibaren dikkat çekti.
DeepSeek ise şimdi, soru yanıt süreçlerinde “öz denetim” modeli uygulamalarına odaklanıyor. Şirket, bu yöntemin problemler için önceden var olan çözümler mevcut olmadığında da etkili olmayı hedefliyor. Bu öz denetim, yapay zekanın mantıksal tutarlılığını ve geçerliliğini değerlendirmesine olanak tanırken, bilinen çözümlerin varlığı durumunda doğruluğunu sağlamasının yanı sıra yeni veya çözülmemiş matematiksel zorlukların da üstesinden gelmesine yardımcı olabiliyor.
DeepSeek’e göre, kendi kendini doğrulayabilen akıl yürütme özelliği sayesinde daha karmaşık ve açık uçlu problemlerin çözümü mümkün hale geliyor.
Araştırmacılar bu sonuçların, kendi kendini doğrulayabilen matematiksel akıl yürütmenin, daha gelişmiş yapay zeka sistemlerinin önünü açabilecek önemli bir gelişim göstergesi olduğunu ifade ediyor.
