Jacobian Sanısı Nedir ve Levent Alpöge, Anthropic'in Claude Fable 5 Modelini Kullanarak 87 Yıllık Problemi Nasıl Çürüttü?

Levent Alpöge, Claude Fable 5'i Nasıl Kullandı?

19-20 Temmuz 2026 gecesi, FIFA Kulüpler Dünya Kupası finalini izleyen matematikçi Levent Alpöge — Harvard Society of Fellows'ta Junior Fellowship yaptıktan sonra Anthropic'te çalışan bir sayılar teorisyeni — arkadaşı Akhil Mathew'ın Jacobian sanısı hakkında sorduğu bir soru üzerine harekete geçti . Alpöge, Anthropic'in Claude Fable 5 modelinden problem üzerinde çalışmasını istedi. Model, sanının koşullarını sağlayan (sabit ve sıfırdan farklı bir Jacobian determinantı olan) ancak birebir olmayan (injective olmayan), yani sanının iddiasını çiğneyen, sadece 216 karakterden oluşan somut bir polinom haritası döndürdü .

Alpöge, sonucu 19 Temmuz 2026'da X'te (eski adıyla Twitter) şu notla paylaştı: "Merhaba, Jacobian sanısı yanlış. Sevgili arkadaşım Akhil'e sorduğu için ve Dünya Kupası finali sırasında çalışan diğer sevgili arkadaşım Fable'a teşekkürler" .

Spesifik Karşı Örnek

Karşı örnek, açıkça tanımlanmış bir polinom haritasıdır F: ℂ³ → ℂ³. İşte bileşenleri :

P(x, y, z) = (1 + xy)³z + y²(1 + xy)(4 + 3xy)
Q(x, y, z) = y + 3x(1 + xy)²z + 3xy²(4 + 3xy)
R(x, y, z) = 2x − 3x²y − x³z

Bu haritanın iki temel özelliği vardır :

• Jacobian determinantı: det Jac F = −2 (sıfırdan farklı bir sabit), yani F bir Keller haritasıdır.
• Birebir olmama (Non-injectivity): Üç farklı girdi noktası aynı çıktı olan (-1/4, 0, 0) değerine eşlenir:
  • (0, 0, -1/4)
  • (1, -3/2, 13/2)
  • (-1, 3/2, 13/2)

Birebir olmayan bir fonksiyonun polinom (ya da herhangi bir) tersi olamayacağı için, bu harita Jacobian sanısının iddiasıyla çelişir. Yapı, tüm katsayılar ve tanık noktalar rasyonel olduğu için karakteristiği sıfır olan her cisim üzerinde geçerlidir .

20 Temmuz 2026 tarihli bir ön baskı (preprint) çalışması, cebirsel doğrulamanın tamamını, F'nin global geometrisini belirler ve haritanın düzgün olmama kümesinin bir hiperyüzey olduğunu kanıtlar — bu, haritanın neden bir polinom otomorfizmi olamadığının mekanizmasıdır . Makale ayrıca bu tür sonsuz sayıda karşı örnek ailesi de sunmaktadır .

İki Değişkenli Durumun Durumu

Jacobian sanısı n = 2 (iki karmaşık değişken) için hâlâ çözülememiş bir problemdir (Temmuz 2026 itibarıyla). Karşı örnek yalnızca n ≥ 3 boyutları için sanıyı çürütmektedir .

Doğrulama ve Hakemlik Sürecinin Durumu

22 Temmuz 2026 itibarıyla bilinenler şunlardır:

• Matematiksel olarak güvenilir: Karşı örnek açık ve mekanik olarak kontrol edilebilir. Matematikçiler tarafından ciddiye alınmaktadır . Lean 4 ile resmi bir doğrulama yapılmış ve sürekli entegrasyon (CI) derlemelerini başarıyla geçmiştir .
• Henüz hakemli yayın yok: Son raporlara göre, yayımlanmış hakemli bir makale veya arXiv ön baskısı bulunmamaktadır . Materyal, bir sosyal medya gönderisi ve ulam.ai'deki bir PDF dosyası olarak mevcuttur; ancak resmi bir dergi incelemesinden geçmemiştir.
• Vikipedi güncellendi: Jacobian sanısı ile ilgili Vikipedi maddesi artık karşı örneği, sanının N > 2 için çürütüldüğünü listelemektedir .
• Topluluk değerlendirmesi: Yorumcular arasındaki fikir birliği, matematiğin neredeyse kesinlikle doğru olduğu yönündedir; ancak resmi kabul ve bilimsel kayıtlara geçiş henüz beklemektedir . Bu sonuç, Claude'un tek başına değil, insan–yapay zeka iş birliği ürünü olarak kaydedilmiştir .

Özetle: Jacobian Sanısı 3 ve daha yüksek boyutlar için gerçekten yanlış görünmektedir. İki değişkenli durum ise hala açıktır. Karşı örnek matematiksel olarak sağlam ve bağımsız olarak doğrulanmıştır, ancak henüz resmi hakemlik sürecini tamamlamamıştır.