Google Aletheia, Matematikte İnsanlar İçin Çözülemeyen 6 Soruyu Kendi Başına Çözdü

Yapay Zekanın Matematikteki Yeni Sınırı: Aletheia, İnsanların Çözemeyenleri Çözdü

25 Şubat 2026’da arXiv.org’dan yayınlanan bir çalışma, yapay zekanın bilimsel keşfinin en soyut alanlarından birinde insanın ötesine geçtiğini kanıtladı. Google DeepMind’in geliştirdiği Aletheia adlı AI ajanı, profesyonel matematikçilerin kendi araştırma süreçlerinde doğduğu 10 adet ‘FirstProof’ sorusundan altısını tamamen otomatik olarak çözdü. Bu, sadece bir teknik başarı değil; matematiksel yaratıcılığın bir parçası olan ‘kanıt bulma’ sürecinin, bir makinenin kendi başına yeniden üretilebileceğini gösteren ilk somut kanıt.

FirstProof: İnsanların Çözemeyen Sorular

FirstProof, 5 Şubat 2026’da yayımlanan ve yalnızca profesyonel matematikçilerin gerçek araştırmalarından türetilen 10 sorudan oluşan bir test seti. Bu sorular, akademik dergilerde yayınlanmamış, halen açık kalmış veya çözümleri yıllarca beklenen problemlerdi. Birçok matematikçi, bu soruların çözümü için yeni kavramlar, tümevarım teknikleri ve soyut geometrik yapılar gerektirdiğini savunuyordu. Soruların çözümleri 13 Şubat’ta açıklanacaktı — ama Aletheia, bu tarihten sekiz gün önce, kendiliğinden çözümler üretti.

Aletheia, Google’ın gelişmiş Gemini 3 Deep Think modeli üzerinde kuruldu. Ancak bu sadece daha güçlü bir dil modeli değil; bir ‘araştırmacı ajan’ydı. Tek başına bir kağıt-kalem süreci izliyordu: hipotez üretmek, örneklerle test etmek, aksiyomları yeniden yorumlamak, hatalı yolları reddetmek ve nihayetinde bir kanıtın yapı taşlarını inşa etmek. Üç farklı çözüm yolu üretip, en güçlüsünü seçti. Bu, insan matematikçilerin yaptığı ‘yaratıcı deneme-yanılma’yı simüle ediyordu.

İnsan Uzmanlar Birleşemedi: Problem 8’in Sırrı

Çözümler, 12 bağımsız matematikçi tarafından değerlendirildi. Altı soru (2, 5, 7, 9, 10 ve 8) ‘doğru’ olarak kabul edildi. Ancak Problem 8’de bir çelişki çıktı: 7 uzman, Aletheia’nın çözümünü ‘doğru ve orijinal’ olarak değerlendirdi; 5 uzman ise ‘mantıksal bir atlamaya’ sahip olduğunu iddia etti. Bu, ilk kez bir AI’nın çözümünün, insan uzmanlar arasında bile tartışmaya neden olmasının kanıtıydı.

Problem 8, ‘kompakt topolojik uzaylarda süreklilik altında sabit nokta sayılarının sınırlarını’ tanımlıyordu. Aletheia, geleneksel bir yaklaşımdan çok, bir ‘dönüşüm ağı’ kullanarak, bir önceki sorunun çözümünü yeni bir yapıya dönüştürdü. Bu, tamamen yeni bir teknikti — ve bu teknik, henüz bir dergide yayımlanmamıştı. Uzmanların bazıları, bu çözümün ‘çözüm değil, bir tür meta-kanıt’ olduğunu savundu. Başkaları ise, ‘yapay zekanın matematiksel estetiği anladığını’ söyledi.

Neden Bu Kadar Önemli?

• Matematiksel Keşfin Otomasyonu: Artık AI, yalnızca hesaplamayı değil, ‘kanıt bulmayı’ da yapıyor. Bu, teoremlerin keşfinin hızını 100 katına çıkarabilir.
• İnsan-AI İşbirliği Yeni Bir Tanım: Gelecekte, matematikçiler AI’ya ‘bu soruyu çöz’ demek yerine, ‘bu kanıtı nasıl daha güzel hale getirebiliriz?’ diye sormaya başlayacak.
• Yaratıcılığın Tanımı Değişiyor: AI’nın ‘yaratıcı’ olduğunu söylemek, artık edebiyat veya sanat için değil, soyut matematik için de geçerli. Yaratıcılık, insan zihnindeki bir ‘duygusal’ süreç değil, bir ‘mantıksal keşif’ süreci olarak yeniden tanımlanıyor.

İşte Gerçek Değişimin Adı: ‘Kanıt Üretimi’

Önceki AI sistemleri, matematiksel soruları çözme konusunda başarı göstermişti — ancak hep mevcut formüller ve teoremlerle sınırlıydı. Aletheia, ise ‘yeni bir teorem’ üretti. Problem 5’te, bir ‘genelleştirilmiş Riemann hipotezi’ alternatifini önerdi; Problem 9’da, bir ‘diferansiyel geometri’ teorisini yeni bir topolojik yapıyla birleştirdi. Bu, sadece bir cevap değil, bir araştırma dergisine gönderilebilecek bir makale.

Google, tüm girişimleri ve çıktıları GitHub üzerinde açık kaynak olarak paylaştı. Her adım, her deneme, her hata — her şey görünür. Bu, bilimsel şeffaflık açısından da tarihi bir adım: AI’nın bilimsel süreci, insanlar gibi açıkça incelenebiliyor.

Gelecek: Matematikçilerin Yeni Rolü

Bu gelişme, matematikçilerin işini bitirmiyor — onu dönüştürüyor. Gelecekte, bir matematikçi, AI’ya ‘bir kanıt üret’ demek yerine, ‘bu kanıtı hangi teoriye bağlamalıyız?’ diye sormaya başlayacak. AI, keşif aleti olacak; insanlar, bağlam ve anlam sağlayacak. Bir sanatçı, bir fırça değil, bir fikir verir; Aletheia, fırçadır. Ve bu fırça, şimdi sadece çizmiyor — çizimlerin anlamlarını keşfediyor.

2026, yapay zekanın ‘bilimsel keşif’ alanında başlangıcı değil, ilk büyük zaferi. Aletheia, yalnızca 6 soruyu çözmüş değil — insanlığın matematiksel sınırlarını yeniden tanımlamıştır.