Summary
Harvard mathematician Levent Alpöge announced on X (July 19, 2026) a short counterexample showing the Jacobian conjecture (Keller, 1939; on Smale’s list of 21st-century problems) is false in three variables. He credited Anthropic’s Claude Fable 5 as a collaborator. Experts say the counterexample is easy to verify and may be the largest conjecture where AI played a significant role so far; the two-variable case may still be open. Distinct from OpenAI’s earlier Erdős unit-distance result — this is human+Anthropic model collaboration on a different classic problem.
Source Analysis
- New Scientist popular-science primary for pipeline; OfficeChai/ForkLog/Glitchwire corroborate X post and math
- Counterexample details (Jacobian −2; three colliding inputs) consistent across secondaries
- Alpöge Anthropic affiliation emphasized in OfficeChai — disclose
Peer review / arXiv formal write-up may still be pending.
Affiliation bias risk: researcher reportedly works at Anthropic while crediting Claude Fable 5 — still newsworthy; disclose.
Research Notes
Additional sources
- 2026-07-20-jacobian-conjecture-officechai
- 2026-07-20-jacobian-conjecture-forklog
- 2026-07-20-jacobian-conjecture-glitchwire
Verified
- Public counterexample map checkable by algebra/CAS; community verification reported quickly
- Distinct problem from OpenAI Erdős unit-distance
Broader context
Part of ai-mathematical-discovery wave; pairs thematically (not merge) with openai-math-ai-sandbox-bypass (capability vs containment).
Related wiki
jacobian-conjecture, levent-alpoge, claude-fable-5, anthropic, ai-mathematical-discovery, ai-assisted-research, frontier-models
Editorial Notes
- Approved angle: Human–AI collaboration on a classic conjecture — Claude Fable 5 + Levent Alpöge; easy-to-verify 3-variable counterexample; peer review / formal write-up still pending.
- Format: standard (confirmed)
- Reporting instructions:
- Lead with “claimed / announced counterexample,” not “settled theorem” until peer review.
- Disclose Alpöge’s reported Anthropic affiliation (affiliation-bias callout).
- Note community/CAS verification vs absence of arXiv peer-reviewed paper at approval time; independent write-ups (e.g. verification PDF) ≠ formal peer review.
- Two-variable case may remain open; distinguish from OpenAI Erdős unit-distance result.
- Pair (don’t merge) with openai-math-ai-sandbox-bypass: discovery vs containment.
- Headline suggestions (TR):
- Claude Fable 5 ile Jacobian hipotezine karşı örnek: Alpöge’nin duyurusu matematik dünyasını şaşırttı
- 87 yıllık Jacobian conjecture üç değişkende çürütüldü mü? AI destekli karşı örnek incelenirken
- Anthropic Claude Fable 5, Jacobian conjecture karşı örneğinde işbirlikçi olarak anıldı
- Mandatory points: Keller 1939 / Smale list context; 3 variables; Jacobian −2 / colliding inputs; easy verification claim; peer review pending; Anthropic affiliation disclose; not OpenAI Erdős story.
Draft Article
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.