Claude Fable 5 ile Jacobian hipotezine karşı örnek: Alpöge’nin duyurusu matematik dünyasını şaşırttı
Harvard matematikçisi levent-alpoge, 19 Temmuz 2026’da X’te jacobian-conjecture için kısa bir karşı örnek duyurdu ve anthropic’in claude-fable-5 modelini işbirlikçi olarak andı. New Scientist ve ikincil kaynaklar, 1939’da Ott-Heinrich Keller’in formüle ettiği — Stephen Smale’in 21. yüzyıl problem listesinde de yer alan — hipotezin üç değişkende yanlış olduğunu iddia eden duyuruyu aktardı. Bu aşamada söz konusu olan, hakem incelemesinden geçmiş kesin bir teorem değil; toplulukça hızla kontrol edilebilen iddia edilen bir counterexample.
Ana Gelişme
Jacobian conjecture, belirli polinom eşlemelerinin tersinin de polinom olduğu yönündeki klasik bir önermedir. Alpöge’nin paylaştığı tek satırlık karşı örnek, OfficeChai’nin aktarımına göre C³→C³ polinom haritasında Jacobian determinantının sabit −2 olduğu ve üç farklı girdinin aynı çıktıya (−1/4, 0, 0) çarptığı bir yapı. Queen Mary University of London’dan Abhishek Saha, karşı örneğin elle veya CAS (ör. Wolfram Alpha) ile doğrulanmasının görece kolay olduğunu; birçok matematikçinin bunu zaten yaptığını söyledi.
Saha, AI’nin matematikte oynadığı rol bakımından bunu şimdiye kadarki en büyük conjecture’lardan biri olarak nitelendirdi. University of York’tan Chris Bowman-Scargill ise counterexample bulmak ile yeni matematik dalları kurmanın hâlâ farklı işler olduğunu vurguladı.
İki değişkenli sürüm teorik olarak hâlâ doğru olabilir; duyuru üç değişkenli durumu hedefliyor.
Neden Önemli?
Olay, ai-mathematical-discovery ve ai-assisted-research dalgasının parçası. OpenAI’nin daha önce duyurduğu Erdős unit-distance sonucu ayrı bir problem; burada insan + Anthropic frontier model işbirliği farklı bir klasik soruya odaklanıyor. Keşif tarafı, aynı günlerde tartışılan openai-math-ai-sandbox-bypass containment hikâyesiyle tematik olarak eşleşiyor ama birleştirilmemeli: biri yetenek, diğeri güvenlik sınırları.
Saha’nın “en büyük conjecture’lardan biri” vurgusu, AI-for-math anlatısını “küçük açık problemler”den Smale listesine taşıyor. Bowman-Scargill’in ayrımı da dengeli: counterexample bulmak, yeni teori kurmak değildir. Westlake University’den Ivan Fesenko’nun New Scientist’te aktarılan görüşü, AI’nin PhD düzeyine yaklaştığı yönünde; bu görüş uzman yorumudur, peer review yerine geçmez.
Matematik okuyucusu için pratik nokta: Jacobian conjecture onlarca yıldır “doğru görünüyor, ispat bekliyor” varsayımıyla çalışıldı. Karşı örnek, araştırma gündemini ispat arayışından “hangi boyutlarda yanlış?” sorusuna kaydırabilir — üç değişken çürütülürken iki değişken açık kalabilir.
Bağlam ve şeffaflık
OfficeChai, Alpöge’nin anthropic araştırmacısı olduğunu (öncesinde Harvard Society of Fellows) vurguluyor. Affiliation bias riski vardır: araştırmacı kendi kurumunun modelini anıyor. Bu durum haberi geçersiz kılmaz; açıkça belirtilmelidir. Anthropic, New Scientist’in yorum talebine yanıt vermedi. Alpöge, tweet’inde “close friend fable” diyerek claude-fable-5’e teşekkür etti; World Cup finali sırasında çalıştığını da not düştü — resmi paper dili değil, kamu duyurusu dili.
Yayın anında arXiv’de hakemli bir makale veya resmi peer review tamamlanmış görünmüyor. Bağımsız doğrulama PDF’leri veya CAS kontrolleri, formal peer review yerine geçmez. Topluluğun hızlı cebirsel kontrolü “iddia güçlendi” demektir; “teorem kapandı” demek değildir.
automated-theorem-proving ve formal-verification araçları ileride bu karşı örneği Lean veya benzeri sistemlerde formalize ederse güven artar. Şimdilik kamu kanıtı: kısa polinom haritası + Jacobian −2 + çakışan girdiler iddiası.
frontier-models bağlamında Fable 5’in export-control tarihi bazı ikincil kaynaklarda anılıyor; bu haberin omurgası değil. Omurga, insan–model işbirliğiyle klasik bir conjecture’a karşı örnek duyurusudur.