Nörocerrah Jin Shanmu, 22 Yıllık Crouzeix Sanısını ChatGPT ile 16 Saatte Kanıtladı

Temmuz 2026'da, Pekinli bir nörocerrah asistanı olan Jin Shanmu, matematik dünyasını şaşkına çeviren bir başarıya imza attı: 22 yıllık bir sayısal lineer cebir problemini çözdü. Onun baş araştırma asistanı mı? OpenAI'nin GPT-5.6-Sol'ü, ChatGPT Work platformunda yaklaşık 16 saat boyunca özerk bir şekilde çalıştı - ilk kurulumdan sonra hiçbir insan müdahalesi olmadan .

Jin, Pekin Birliği Tıp Koleji Hastanesi'nde doktora sonrası araştırmacı ve nörocerrah asistanıdır. Resmi bir ileri matematik eğitimi yoktur - lisans derecesi jeoloji alanındadır ve tıp doktorasına sahiptir . Probleme, kafa içi beyin ultrasonu araştırmaları için gereken matematiksel teoriyi kendi kendine çalışırken rastladı; operatör normları ve sayısal aralıklar bu bağlamda doğal olarak ortaya çıkar .

Çözdüğü problem, 2004 yılında Fransız matematikçi Michel Crouzeix tarafından önerilen Crouzeix sanısıdır. Sanı, herhangi bir kare karmaşık matris A ve polinom p için, operatör normu ||p(A)||'nin, |p|'nin sayısal aralık W(A) üzerindeki maksimum değerinin en fazla iki katı olduğunu belirtir . Kesin sabit olan 2, 22 yıl boyunca açık kalmıştı; daha önceki sınırlar yalnızca yaklaşık 2.414'e ulaşabilmişti .

Jin Shanmu Özerk Çalışmayı Nasıl Kurdu?

Jin'in yaklaşımı basit bir ChatGPT sorgusu değildi. OpenAI'nin Cycle Double Cover sanısındaki önceki başarısından yararlanarak özerk bir akıl yürütme sistemi tasarladı . Prompt stratejisi dört ana talimat içeriyordu:

1. Hava boşluklu ortam: Modele, mevcut çözümlere veya bilinen kanıtlara güvenmesini engellemek, tamamen özgün akıl yürütmeyi zorlamak için fiziksel olarak bağlantısı kesilmiş (hava boşluklu) bir ortamda çalışması talimatı verildi .
2. Çoklu ajanla paralel keşif: Sistemin tek bir hatalı yaklaşıma erken odaklanmasını önlemek için farklı çözüm yollarını paralel olarak keşfeden birden çok ajan örneği başlatıldı .
3. Rakip denetim: Aday stratejilere rakip denetim uygulandı - yapay zekaya kendi akıl yürütmesini eleştirmesi ve kanıtlarını karşı örneklerle test etmesi söylendi .
4. Erken durma yok: Modele, tam bir kanıt elde edilene kadar durmaması emredildi .

Çalışmayı başlattıktan sonra Jin, sistemi kendi haline bıraktı. Raporlara göre, "Modeli internetten kilitledi, başlattı ve gitti. On altı saat sonra kanıt elindeydi" . Bu 16 saat boyunca GPT-5.6-Sol, hipotez oluşturma, test etme ve iyileştirmeden oluşan binlerce döngü gerçekleştirdi .

Kanıt ve Doğrulama Süreci

Sonuç, Crouzeix sanısının doğru olduğuna dair bir kanıttı: 2 sabiti doğruydu. Kanıt, 27 Temmuz 2026'da The Numerical Range Is a 2-Spectral Set başlığıyla bir ön baskı olarak yayınlandı .

Doğrulama süreci titizdi. Sanıyı 2004'te ortaya atan matematikçi Michel Crouzeix'in kendisi argümanı inceledi ve doğru olduğunu onayladı . Sayısal analistler de kanıtı inceledi . Jin ayrıca tüm araştırma materyallerini GitHub'da yayınladı; buna nihai makale, promptlar, yineleme taslakları, Lean 4 biçimsel kanıt kodu ve denetim raporları dahildir .

Bunun Yapay Zeka Destekli Araştırmalar İçin Anlamı

Jin'in başarısı sadece problemin zorluğu nedeniyle değil, aynı zamanda geçmişi ve yöntemi nedeniyle de dikkat çekicidir. Resmi bir ileri matematik derecesi olmayan bir nörocerrah asistanı, bir yapay zeka modelini 16 saat boyunca özerk bir şekilde kullanarak, matematikçileri yirmi yıldır uğraştıran bir problemi çözdü.

Bu hikaye, yeni bir araştırma modunu vurguluyor: insanlar deneysel koşulları ve akıl yürütme çerçevesini tasarlarken, yapay zeka modelleri matematiksel uzayın büyük ölçekli, özerk keşfini gerçekleştiriyor. Bu, yapay zekanın matematikte gerçek bir araştırma ortağı olarak hizmet edebileceğinin somut bir göstergesidir - sadece hesaplama veya arama için bir araç değil, aynı zamanda özgün kanıtlar üretebilen bir sistem.

Bu yaklaşımın matematiksel araştırmalarda standart bir yöntem haline gelip gelmeyeceği henüz belli değil. Ancak şimdilik, Jin Shanmu'nun bu sonucu, 2026'da yapay zeka destekli keşiflerin en çarpıcı örneklerinden biri olarak duruyor.