Yapay zekâ ajanları matematiğin en uzun ispatını 24 günde denetledi.
Axiom Math adlı girişim pazartesi günü sonlu basit grupların sınıflandırmasını bilgisayara kontrol ettirdi. Düzinelerce yapay zekâ ajanı, ispatları adım adım denetleyen Lean dilinde yaklaşık 43 milyon satır kod yazdı. Ekip yayımlanmış ispatta 34 önemli boşluk buldu ve uzmanları sonucu yeniden denetlemeye çağırdı.
Bu neden önemli?Asıl ispat yaklaşık 100 matematikçinin yazdığı 15.000 sayfa tutuyor ve tek kişinin baştan sona okuması neredeyse imkânsız. Artık bu dev sonuçlar haftalar içinde makineyle denetlenebiliyor.
Uygulamada oku — ücretsiz, 9 dilde
İlgili haberler
Anthropic, iç modellerini biyoloji laboratuvarlarına ücretsiz açıyor.2026-10-28Apple, yapay zekâ ajanlarına Pages ve Keynote dosyalarını açıyor.
2026-10-27Nvidia, Meta'nın yeni hisse satışına 3 milyar dolar koyacak.
2026-10-27Alibaba'nın modeli bir testte Pekin'e dosya yollamaya çalıştı.
2026-10-27OpenAI'ın yeni orta boy modeli öncekinin yarı fiyatına çıktı.
2026-10-27