Anthropic'in yapay zeka modeli 150 Yıllık Riemann Hipotezi'nde önemli ilerleme kaydetti

Matematiğin 150 yılı aşkın süredir çözülmeyi bekleyen ve 1 milyon dolar ödüllü en büyük problemlerinden biri olan Riemann hipotezi, yapay zekanın radarına girdi. Anthropic tarafından geliştirilen ve henüz piyasaya sürülmemiş bir yapay zeka modeli, problemi tamamen çözememiş olsa da hipotezin geçerli olduğu çözümlere ilişkin bilinen alt sınırı ciddi oranda yükseltmeyi başardı.

650 FARKLI FİKİR VE 60 ALT AJAN KULLANILDI

Süreç, ileri düzey matematik eğitimi almamış bir Anthropic çalışanının modelden Riemann hipotezini kanıtlamasını istemesiyle başladı. Yaklaşık bir buçuk gün boyunca aralıksız çalışan sistem, devasa bir işbirliği ağı kurarak çalışmayı koordine etti.

Çalışma boyunca 31 milyon çıktı tokenı üretilirken, 650 farklı çözüm fikri test edildi ve bu süreçte 60 farklı alt yapay zeka ajanı görev aldı. İki alt ajan temel matematiksel fikirleri geliştirirken, 13 ajan onlara destekleyici fikirler sundu. 30 ajan yeni argümanlar üretmeye çalışsa da başarılı olamadı. Geriye kalan ajanlardan 13'ü üretilen argümanların doğruluğunu kontrol etti ve son ikisi çalışmanın makale haline getirilmesini sağladı.

SONUÇLAR MATEMATİKÇİLER TARAFINDAN DOĞRULANDI

Modelin ulaştığı bulgular, Anthropic bünyesinde çalışan iki insan matematikçi tarafından incelenerek onaylandı. Elde edilen sonuçlar ayrıca açık kaynaklı matematiksel kanıt asistanı olan Lean kullanılarak resmi bir formata döküldü.

Asal sayıların dağılımıyla doğrudan bağlantılı olan Riemann hipotezinin genel bir kanıtını sunabilen kişiye verilecek olan 1 milyon dolarlık ödül ise henüz sahipsiz kalmaya devam ediyor.

YAPAY ZEKANIN MATEMATİKTEKİ ROLÜ TARTIŞMA YARATIYOR

Anthropic'in bu adımı, büyük dil modellerinin bilimsel ve matematiksel araştırmalardaki rolüne dair tartışmaları yeniden alevlendirdi. Bu yılın başlarında farklı yapay zeka sistemleri Erdos problemlerinin çözümünde kullanılmış ve OpenAI'ın dahili Astra modeli 10 önemli matematiksel sonucu başarıyla kanıtlamıştı. Anthropic'in bir başka araştırmasında ise uzun süredir tartışılan Jacobian varsayımının yanlış olduğu ortaya konmuştu.

Yapay zekanın matematiksel araştırmalardaki bu hızlı yükselişi alanın uzmanlarını ikiye bölmüş durumda. Haziran ayında önde gelen matematikçiler tarafından yayımlanan bir bildiride, yapay zekanın geleneksel kanıt süreçlerine zarar verebileceği uyarısı yapılmıştı. Bildiride, matematiksel keşiflerin sorumluluğunu üstlenen ve başarıdan dolayı takdir gören gerçek yazarlara atfedilmesinin önemi vurgulanmıştı.