AI, 350 Yıllık Matematik Problemini En Uzun Kanıtı Yazarak Çözdü

60 kelimelik özet

Anthropic'in AI'sı Claude, Fermat'ın Son Teoremi için 13 milyon satırlık, şimdiye kadar bilgisayar tarafından doğrulanmış en uzun kanıtı üretmek üzere on bir gün harcıyor. Sistem, insan denetimi olmadan kendisini kontrol eden kodu yazarak otonom matematiksel akıl yürütmeyi gösteriyor. Bu atılım, AI'nın karmaşık, çözülmemiş problemleri ele alma potansiyelini sergileyerek araştırma süreçlerini hızlandırması ve AI‑odaklı bilimsel keşiflere yönelik yatırımların artması muhtemel.