Yapay zekâ firması Anthropic, en karmaşık matematik problemlerinden biri olan Riemann Hipotezi üzerinde önemli ilerlemeler kaydetti. Şirketin yeni modelinin doğrudan bir ispat sunamasa da; bu sorunun belirli aralıklarında geçerli olduğunu gösteren yeni fikirler geliştirerek çözüm alanını genişletti ve potansiyel genel ispat için yol haritası çıkardı.
Yapay Zekâ Matematikte Neler Başardı?
Model, yaklaşık bir buçuk gün süren yoğun bir çalışmayla Riemann Hipotezi'nin belirli aralıklarını geçerli hale getirebilecek yeni matematiksel yaklaşımlar ortaya koydu. Daha önce gelen sıradan yöntemleri tekrarlamak yerine yapay zekâ; çözüm sürecini alt görevlere bölen akıllı ajan mekanizması kullanarak tamamen özgün ve daha geniş bir düşünce yelpazesi sundu.
Maddi veriler, bu karmaşık çalışma serisinin ne denli yoğun geçtiğini gösteriyor:
- Toplam 650 farklı matematiksel fikir model tarafından test edildi.
- Çalışma süresi yaklaşık 1,5 günü buldu ve toplam 31 milyon çıktı tokenı tüketildi.
Ajan Mekanizması Çözümü Nasıl Sağladı?
Maddi gerçekler, bu zorlu görevde tek bir yapay zekânın değil, koordineli çalışan birden fazla uzmanın çalıştığını ortaya koyuyor. Sorun; toplam 60 farklı alt ajana bölünerek kapsamlı bir ekip çalışmasına dönüştürüldü.
Ajan ekibinin dağılımı şu şekilde gerçekleşti:
- İki temel ajan çözümün omurgasını oluşturan ana matematiksel fikirleri geliştirmekle görevlendirildi.
- Ardından, bu iki fikre dayalı olarak 13 yeni yaklaşım önerisi sunuldu ve potansiyel çözümler denendi.
- Toplamda 30 farklı ajan, sunulan yaklaşımları test etmeye çalıştı ancak genel bir ispat için henüz başarılı olamadılar.
Argümanlar Doğrulandı mı?
Yapay zekâ tarafından üretilen argümanların sağlamlığı ve geçerliliği iki ana aşamadan geçerek teyit edildi. Çalışmada, matematiksel doğruluğun sınırlarının genişletilmesi hedeflendi.
Modelin ilk odaklandığı nokta;
ichara konulan matematiksel argümanlar üzerine uzman ajanların denetimi oldu.
Maddi çıktılar ve teknik kontroller şunlardır:
- 13 adet yeni sunulan argümanın sağlamlığı, diğer ajans tarafından titizlikle kontrol edildi.
- Son iki özel ajan, modelin çalışmasından çıkan araştırmaların bilimsel bir makale formatına dönüştürülmesine yardım etti.
Yapay Zekâ Çalışmalarının Kimler Teyit Etti?
Yapay zeka modeliyle üretilen sonuçlar şirket içi uzmanlık ve uluslararası açık kaynak araçlarla çift taraflı doğrulanarak güvenilirlik sağlandı. Bu titiz süreç, ortaya çıkan bilimsel verilerin kalitesini pekiştirdi.
Çalışmaların en kritik aşamalarından biri; Anthropic bünyesindeki iki deneyimli matematikçi tarafından sonuçların incelenmesidir. Ayrıca bu yeni argümanlar ve çözümler, açık kaynak topluluğu için kullanılan Lean adlı bir ispat yardımcısı yazılımı aracılığıyla da teyit edildi. Bu çift doğrulama mekanizması, bilimsel camiada ciddi bir etki yaratma potansiyeli taşımaktadır.