Yapay zeka dünyasının öncü isimlerinden Anthropic, henüz resmi olarak tanıtlmayan yeni modelinin ulaştığı şaşırtıcı bir başarıyı paylaştı. Şirket bünyesindeki yeni nesil model, matematik tarihinin en karmaşık ve çözülememiş meselelerinden biri kabul edilen Riemann hipotezi üzerinde dikkate değer bir ilerlemeye imza attı. Asal sayıların gizemli dizilimini açıklayan bu tarihsel problem, 150 yıldan uzun süredir dünyanın en parlak zihinlerini meşgul etmeye devam ediyordu.
Henüz hipotez tamamen çözülmüş olmasa da, yapay zekanın çözüm kümesinin alt sınırını belirgin biçimde genişletmeyi başarması, yapay zekanın teorik bilimlerdeki rolüne dair bakış açısını kökten değiştiriyor.
1.5 Günlük Süreçte 650 Farklı Hipotez Test Edildi
Bilim dünyasında heyecan yaratan bu gelişmenin arkasındaki süreç ise oldukça ilginç. Matematik eğitimi almamış bir Anthropic personelinin sisteme girdiği basit bir yönlendirme talimatı, devasa bir veri işleme sürecini tetikledi. Yaklaşık 36 saat boyunca kesintisiz çalışan model, kendi bünyesinde organize ettiği 60 farklı alt temsilci (agent) kanalıyla koordineli bir analiz yürüttü.
Bu yoğun mesai sırasında tam 650 farklı çözüm fikri ve matematiksel yaklaşım simüle edildi. Toplamda 31 milyon çıktı token’ı tüketilerek ulaşılan sonuçlar, Anthropic bünyesinde görev yapan profesyonel matematikçiler tarafından incelemeye alındı. Elde edilen bulguların doğruluğu, açık kaynaklı matematiksel kanıt doğrulama platformu Lean aracılığıyla resmileştirilerek kayıt altına alındı.
Akademide "Mülkiyet" ve "Telif" Tartışması Alevlendi
Büyük dil modellerinin teorik matematik gibi soyut alanlarda gösterdiği bu performans, akademik çevreleri de ikiye böldü. Birçok araştırmacı bu gelişmeyi bilimsel keşiflerin ivmelenmesi açısından tarihi bir fırsat olarak görürken, önemli bir kesim ise "bilimsel telif ve mülkiyet" kaygısı taşıyor.
Geçtiğimiz günlerde yayımlanan ortak bir bildiride, matematiksel kanıtların ve teoremlerin insan araştırmacılara atfedilmesinin disiplinin temel etiği olduğu savunuldu. Yapay zekanın bu süreçteki dominant rolünün, akademideki mülkiyet duygusunu zayıflatabileceği ifade ediliyor.
Fields Madalyalı Matematikçiden Farklı Bakış: "Astronomi Gibi Olabilir"
Buna karşın, matematik dünyasının en saygın ödüllerinden Fields Madalyası sahibi Sir Timothy Gowers gibi isimler sürece daha esnek yaklaşılması gerektiğini düşünüyor. Gowers, yapay zekanın matematiğe entegre olmasının disiplini daha zengin ve dinamik bir noktaya taşıyacağını vurguluyor.
Gowers'a göre, gelecekte teoremlerin spesifik isimlerle anılmaması fikri kabullenilebilir bir norm haline gelebilir. Ünlü matematikçi, tıpkı astronomide keşfedilen yeni gök cisimlerinin veya yıldızların kişisel isimler yerine sistemli kodlarla anılması gibi, matematiksel keşiflerin de zamanla kolektif ve teknolojik bir yapının parçası olarak etiketlenebileceğini belirtiyor.
1 milyon dolar ödüllü Clay Matematik Enstitüsü problemlerinden biri olan Riemann hipotezi henüz tam anlamıyla sonuca ulaştırılabilmiş değil. Ancak Anthropic'in gizemli modelinin kaydettiği bu aşama, insanlık tarihinin en zorlu bulmacalarının çözümlenmesinde silikon tabanlı zekanın en büyük yardımcımız olacağını gösteriyor.
