150 yılı aşkın süredir Riemann hipotezi, matematik dünyasının 'çözmeyi hep ertelediğiniz o bulmaca' gibi - ama burada ödül 1 milyon dolar ve sonsuz zafer, sadece bir akşam yemeğinde hava atmak değil. Asal sayıların dağılımıyla ilgili olan hipotez hâlâ kanıtlanamadı ve o bir milyon dolar hâlâ orada, kimsenin ulaşamadığı bir ödül gibi duruyor.

Sahneye Anthropic çıkıyor: Pazartesi günü yapılan bir duyuruya göre, yayınlanmamış bir yapay zeka modeli bu problemde önemli ilerleme kaydetmeyi başardı. Spesifik olarak, hipotezin doğru olduğu çözümlerin alt sınırını artırdı. Tam bir kanıt değil, ama hey - Roma bir günde kurulmadı, bin yıllık bir matematik problemi de öyle.

Asıl keyif veren kısım yöntem. Önemli bir matematik eğitimi olmayan bir Anthropic çalışanı, modele hipotezi kanıtlamak için 'gerçek bir deneme' yapmasını istedi ve sonra onu bir buçuk gün kendi haline bıraktı. Model, muhteşem bir başarı gösterisiyle 650 farklı fikri test etti, 60 alt ajan arasında koordinasyon sağladı ve 31 milyon çıktı tokeni harcadı. Bu çok fazla token - en geveze yapay zekayı bile kızartacak kadar.

Makalenin dipnotu bir kurumsal ekip çalışması gibi: 60 alt ajandan ikisi ana matematiksel fikirleri geliştirdi, 13'ü bu fikirlere katkıda bulundu, 30'u yeni fikirler üretmeye çalışıp başarısız oldu, 13'ü doğrulayıcı olarak görev yaptı ve son ikisi ilk makalenin yazılmasına yardımcı oldu. Herkesin bir rolü olduğu bir matematik bölümü gibi, bu rol sadece çalışmayı kontrol etmek ve bir şeyleri bozmamaya çalışmak olsa bile.

Anthropic'in dahili matematikçileri sonucu doğruladı ve açık kaynaklı kanıt asistanı Lean kullanılarak resmileştirildi, çünkü neden biraz resmi doğrulama eklemeyelim ki? Bu, yapay zekanın matematiksel kaslarını esnettiği ilk sefer değil. Geçtiğimiz yıl boyunca yapay zeka modelleri birkaç Erdős problemini çözdü ve OpenAI'in dahili 'Astra' modeli yakın zamanda 10 büyük sonucu kanıtladı. Anthropic ayrıca daha önce uzun süredir devam eden Jacobian varsayımını çürüttü; bu da 'Şu doğru sandığın şey mi? Evet, o doğru değil' demek gibi.

Tüm bu ilerleme matematik camiasında hem heyecan hem de endişe yarattı. Haziran ayında, önde gelen matematikçilerden oluşan bir grup, yapay zekanın alanın temel değerlerini - özellikle de kanıtların, itibar ve sorumluluk alan belirli yazarlara atfedilmesi beklentisini - baltalayabileceği endişesini dile getiren bir bildiri imzaladı. Çünkü görünüşe göre, yanlış olduğunda sorumlu tutulacak kimsenin olmadığı bir kanıt fikri dayanılmaz.

Ama herkes endişeli değil. Fields Madalyası sahibi Timothy Gowers, bildiriye yanıt olarak yazdığı blog yazısında, teoremlerin matematikçilere bağlı olmadığı bir dünyanın, yıldızların gökbilimcilerin adını taşımamasından daha sorunlu olmayabileceğini düşündü. Dokunaklı, Dr. Gowers. Dokunaklı. Yani Riemann hipotezi hâlâ çözülememiş olsa da, en azından şu rahatlatıcı düşünceye sahibiz: Eğer bir yapay zeka onu çözerse, kimi tebrik edeceğimizi bulmak zorunda kalmayacağız - sadece 60 alt ajana, 31 milyon tokenlerine teşekkür edip günü kapatabiliriz.