Yapay Zeka 350 Yıllık Matematik Problemini En Uzun Kanıtla Çözdü

Bir yapay zeka, matematikçilerin yıllarca bitiremediği işi 11 günde yaptı. Yapay zeka sistemleri geliştiren bir şirket olan Anthropic, Claude adını verdiği yapay zekasının şimdiye kadar yazılmış en uzun matematik kanıtını ürettiğini ve bunu 358 yıl boyunca uzmanları şaşırtan bir bulmacayı nihayet çözmek için kullandığını söylüyor. Bulmaca, Fermat'ın Son Teoremi olarak adlandırılıyor. 1637 yılında, Pierre de Fermat adında bir matematikçi, bir kitabın kenarına bir iddia karaladı ve "harika bir kanıtı" olduğunu ama yazacak yerinin olmadığını söyledi. Sonra öldü ve matematikçileri yüzyıllar boyunca bunu çözmeye çalışmakla baş başa bıraktı. Gerçek bir kanıt nihayet 1995 yılında Andrew Wiles tarafından geldi — ancak 129 sayfa sürdü ve neredeyse bir yılını alacak bir hata içeriyordu. Önemli olan şu ki: bir kanıtın gerçekten doğru olup olmadığını kontrol etmek inanılmaz derecede zor ve yıllar alabilir. İşte burada Claude devreye giriyor. Kanıtı "resmileştirdi" — yani matematiği, bir bilgisayarın her adımı otomatik olarak doğrulayabileceği süper hassas bir bilgisayar diline (Lean adı verilen) yeniden yazdı, böylece insan hatasına yer kalmadı. Sayılar şaşırtıcı: - Görevi tamamlamak için 11 gün - 13 milyon satır kod — matematikçilerin genellikle kullandığı ortak kütüphaneden beş kat daha büyük - Yol boyunca çözülen 30.000'den fazla küçük destekleyici kanıt - Yaklaşık 160 roman uzunluğunda saf mantıksal argüman Onlarca Claude "ajanı" (ayrı yapay zeka yardımcıları) neredeyse hiç insan müdahalesi olmadan aynı anda çalıştı. Bu arada, Londra Imperial College'daki bir insan matematikçi ekibi 2024'ten beri aynı görevi deniyor — ve bitmeye yakın değiller. Projeleri 2029'a kadar finanse ediliyor. En iyi kısmı: Bu insan projesine liderlik eden matematikçi Kevin Buzzard, Claude'un çalışmasını inceledi ve geçerli olduğunu doğruladı. Bu neden önemli? Bu, yapay zekanın artık insanların karşılaştığı en zor düşünme görevlerinden bazılarını — sadece sohbet değil, aynı zamanda titiz, kontrol edilebilir mantığı da — halledebileceğini gösteriyor. Bu, bilim ve matematiğin nasıl yapıldığını yeniden şekillendirebilir. Bu bir yapay zeka tarafından oluşturulmuş özet. Orijinal makaleyi okuyun: https://decrypt.co/377491/ai-solved-350-year-old-math-problem