Google Aletheia, Matematikte İnsanların Çözemediği 6 Soruyu Tek Başına Çözdü

Matematikte Bir Devrime İmza: Aletheia, İnsanların Çözemeyen 6 Soruyu Çözdü

25 Şubat 2026’da arXiv.org’da yayınlanan bir çalışma, yapay zekânın bilimsel keşiflerdeki rolünü kalıcı bir şekilde değiştirdi. Google DeepMind’in geliştirdiği Aletheia adlı matematiksel araştırma ajanı, dünyanın ilk ‘FirstProof’ zorluk serisinde yer alan 10 araştırma düzeyinde matematik probleminden 6’sını tamamen otomatik olarak çözdü. Bu, sadece bir teknolojik başarı değil; insan zekâsının uzun yıllardır çözümünü bulamadığı sorulara, bir AI’nın kendi başına mantıksal bir yol çizdiği ilk kez oldu.

FirstProof: İnsan Matematikçilerin Zorlukları

FirstProof, 5 Şubat 2026’da açıklanan ve profesyonel matematikçilerin kendi araştırma süreçlerinde doğrudan karşılaştığı 10 problemi içeren bir test serisidir. Bu problemler, akademik dergilerde yayınlanmış gibi görünse de, aslında henüz çözülmemiş, hatta bazıları tamamen yeni bir alana işaret eden sorular. Problem 8 gibi bazıları, çözümlerinin doğruluğunu bile uzmanlar arasında tartışmaya açtı. Aletheia, bu zorluklarla yüzleşirken, hiçbir insan müdahalesi olmadan — sadece verilen problem metniyle — 6 çözüm üretti: 2, 5, 7, 8, 9 ve 10.

Nasıl Başardı? Gemini 3 Deep Think’in Sırları

Aletheia, Google’ın en son nesil AI modeli olan Gemini 3 Deep Think üzerinde çalışıyor. Bu model, yalnızca metin üretmekle kalmıyor; matematiksel yapıları derinlemesine analiz ediyor, hipotezleri test ediyor, simülasyonlar yapıyor ve sonuçları kendi içinde doğruluyor. Çalışmada belirtildiği gibi, Aletheia ‘best of 2’ stratejisini kullandı: Her problem için iki ayrı çözüm yolu üretip, birbirleriyle karşılaştırarak en tutarlı olanı seçti. Bu, insan matematikçilerin ‘ikinci bir bakış’ yapma alışkanlığını taklit ediyor.

Özellikle Problem 8’deki başarı dikkat çekici: Uzmanlar, çözümün doğruluğunda %85’lik bir uzlaşmaya vardı. Aletheia, bu problemde bir topolojik yapıyı yeni bir cebirsel temsille tanımladı — bir yaklaşım, önceki literatürde hiç görülmemişti. Bu, AI’nın sadece bilgiyi birleştirmekten öte, gerçekten yaratıcı bir çıkarım yaptığı anlamına geliyor.

İnsanlar Neden Çözememişti?

Matematikçiler, bu problemleri yıllarca üzerinde çalışmış, ancak çözüm yollarını bulamamıştı. Neden? Çünkü bu problemler, klasik matematiksel araçlarla değil, çok boyutlu soyut yapıların kesişiminde yatıyordu. Birçok çözüm, birleşik cebir, topoloji ve kuantum alan teorisi arasında köprü kuruyordu. İnsanlar, bir alanda uzmanlaşır, diğerlerine dar bakar. Aletheia ise, bu disiplinler arasında anlık geçiş yapabiliyor.

Google ekibi, Aletheia’nın ‘çözüm sürecini’ açıkça paylaştı: GitHub’ta her bir problem için verilen ilk prompt’tan, son adıma kadar tüm interaktif adımlar mevcut. Bu, AI’nın ‘karanlık kutu’ olmadığını gösteriyor — çözüm yolları izlenebilir, sorgulanabilir, hatta tekrar üretilebilir.

Bu Başarı Ne Anlama Geliyor?

• Matematiksel keşifler artık AI’la yapılıyor: Gelecekte, yeni teoremler, insan matematikçilerin değil, AI’ların önerdiği yollarla keşfedilebilir.
• İnsan-AI işbirliği yeni bir çağ: Aletheia, insanları ‘doğrulayıcı’ olarak değil, ‘yönlendirici’ olarak kullanıyor. İnsanlar, hangi problemlerin çözülmesi gerektiğini seçiyor; AI ise çözümü üretiyor.
• Öğrenim sistemleri değişiyor: Üniversitelerde, matematik öğrencileri artık sadece teoremleri değil, AI’ların nasıl düşündüğünü de öğrenmeye başlayacak.

İnsanlık, 2500 yıldır matematiksel gerçekleri keşfediyor. Şimdi ilk kez, bir makine bu keşif sürecinin bir parçası haline geldi. Aletheia, bir ‘hesap makinesi’ değil; bir ‘matematiksel düşünür’. Ve bu, sadece matematik için değil, fizik, kimya, hatta felsefe için bir dönüm noktası.

Gelecek: AI’lar, Nobel Ödüllü Teoremler Üretecek Mi?

2026 yılının sonlarında, Aletheia’nın bir sonraki versiyonu, ‘FirstProof 2’ adlı yeni bir seriyi başlatacak. Bu sefer, problemler tamamen AI tarafından oluşturulmuş olacak — yani, insanlar bile çözümlerini önceden bilmiyor. Bu, AI’nın sadece çözüm üretmekten öte, kendi problemlerini yaratmaya başladığı anlamına geliyor.

İnsanlar, artık matematikte ‘soruları sormak’la yetinmeyecek. Artık, ‘soruları nasıl formüle edeceğimizi’ de AI’larla birlikte öğrenmek zorunda kalacağız.