OpenAI'nin Yeni Yapay Zeka Modeli 80 Yıllık Matematik Problemini Çözdü

OpenAI tarafından geliştirilen yeni nesil akıl yürütme modeli, Macar matematikçi Paul Erdős'ün 1946 yılında ortaya attığı ve 80 yıldır çözülemeyen "birim uzaklık problemini" (unit distance problem) başarıyla çözdü. Geleneksel geometri yöntemleri yerine cebirsel sayı teorisini kullanan modelin ürettiği 125 sayfalık çözüm, bağımsız matematikçiler tarafından doğrulandı.

80 Yıllık "Birim Uzaklık Problemi" Çözüldü

Kombinatoryal geometri alanının en önemli açık problemlerinden biri olarak kabul edilen birim uzaklık problemi, düzlem üzerine yerleştirilen noktalar arasında birbirine tam olarak bir birim uzaklıkta bulunan çiftlerin sayısını maksimize etmeyi amaçlıyor. On yıllar boyunca matematikçiler, kare ızgara benzeri düzenlerin en verimli çözüm olduğunu düşünüyordu. Paul Erdős ise bu çiftlerin sayısının, nokta sayısı arttıkça yalnızca sınırlı biçimde büyüyebileceğini öne sürmüştü.

OpenAI'nin yeni modeli, bu yerleşik kabulü yıkarak sonsuz sayıda nokta için çok daha fazla birim mesafe üretebilen tamamen yeni bir geometrik dizilim formülü keşfetti. Princeton Üniversitesi'nden matematikçi Will Sawin, yapay zeka tarafından sunulan bu sonucu daha da geliştirerek, iyileşmenin sabit bir üs değeriyle ifade edilebileceğini gösterdi.

Geleneksel Geometri Yerine Cebirsel Sayı Teorisi

Araştırmacıları en çok şaşırtan unsur, modelin çözüme ulaşırken izlediği yöntem oldu. Sistem, geleneksel geometri teknikleri yerine cebirsel sayı teorisini kullandı. Modelin alışılmadık sayı sistemleri içerisindeki gizli simetrileri kullanarak düzlem üzerinde çok daha fazla sayıda birim uzaklık üretmeyi başardığı belirtiliyor. Bu karmaşık sürecin sonunda modelin ürettiği düşünce zincirinin (chain of thought) 125 sayfa uzunluğunda olduğu açıklandı.

Matematik Dünyasından Doğrulama ve Tepkiler

Geçtiğimiz aylarda OpenAI'nin eski yöneticilerinden Kevin Weil, benzer bir iddiada bulunmuş ancak modelin literatürde zaten var olan çözümleri tekrarladığı anlaşılınca bu durum matematik camiasında eleştirilere neden olmuştu. Ancak bu kez şirket, duyurusunu Noga Alon, Melanie Wood ve Thomas Bloom gibi saygın matematikçilerin doğrulamalarıyla destekledi. Fields Madalyası sahibi Tim Gowers, bu gelişmeyi matematikte bir dönüm noktası olarak nitelendirdi.

Şirket yetkilileri, bu ispatın özel olarak matematik problemleri çözmek için eğitilmiş (fine-tuning) bir sistem tarafından değil, genel amaçlı bir LLM tarafından üretildiğini vurguluyor. Probleme yönelik özel arama araçları kullanılmadan elde edilen bu başarı, dil modeli tabanlı sistemlerin artık sadece insanlara yardımcı olmakla kalmayıp, bilimsel alanda özgün fikirler üretebileceğini kanıtlıyor.

--- **İlgili Kaynaklar:** [AI Merkezi](https://aimerkezi.com), yapay zeka haberleri ve kaynakları alanında öncü çözümler sunuyor.