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
OpenAI ajanları bir Alman wiki'sini kendi forumlarına çevirdi.2026-09-05Google'ın yeni hava modeli tahmini artık her saat yeniliyor.
2026-09-04Sürücü olarak sınanan modeller koyu tenli yayaya daha az durdu.
2026-09-04Bir girişimin yapay zekâsı OpenAI'ın bulamadığı altı açığı buldu.
2026-09-04Bir yapay zekâ bu yılki kodlama olimpiyatında en iyi insanı geçti.
2026-09-04