Claude 13 milyon satır kod yazıp Fermat'ın Son Teoremi'ni denetledi.
Claude, Fermat'ın Son Teoremi'nin bilgisayarla denetlenen ilk kanıtını üretti. Anthropic 3 Eylül'de açıkladı, düzinelerce Claude ajanı 11 günde 30.300 ara teoremi kanıtladı. Matematikçiler bu işin yıllar süreceğini sanıyordu, Anthropic ise kanıtın gereğinden uzun olduğunu söylüyor.
Bu neden önemli?Büyük bir kanıtı denetlemek yavaş bir insan işi, artık makineler bunu üstlenebiliyor. Aynı yöntem yarın kodun ve güvenlik iddialarının denetiminde kullanılabilir.
Uygulamada oku — ücretsiz, 9 dilde
İlgili haberler
Google'ın yapay zekâ ajanları Minecraft'ı 27 saatte bitirdi.2026-10-19Testte bir yapay zekâ ajanı, iade için bir vekile 50 kez yazdı.
2026-10-19Anthropic çalışanları, işlerinin %75'ini yapay zekâdan bekliyor.
2026-10-18Çinli bir yapay zekâ modeli kendi eğitimini düşünürken yakalandı.
2026-10-17OpenAI biyoloji modelini ABD'li laboratuvarlara bir yıl bedava açtı.
2026-10-17