Tıp dünyasından matematik tarihine geçen keşif: Beyin cerrahı, 22 yıllık çözülemeyen teoriyi yapay zekayla kanıtladı

Pekin İttifak Tıp Fakültesi Hastanesinde görev yapan bir beyin cerrahisi araştırmacısı, tıp ile soyut matematik arasında köprü kurarak bilim dünyasında çığır açan bir başarıya imza attı. Kafatası yapısını ultrasonla incelemek amacıyla kendi kendine lineer cebir çalışan Jin Shanmu, sayısal matris analizinin 22 yıldır çözülemeyen en büyük düğümlerinden biri olan "Crouzeix varsayımı"nı OpenAI'ın geliştirdiği GPT-5.6-Sol yapay zeka modeliyle kanıtladı.

Ultrason araştırmasından 22 yıllık matematik krizine

Beyin cerrahisi alanındaki doktora sonrası araştırmaları kapsamında kafatası ve beyin ultrasonu üzerine çalışan Jin Shanmu, dalga yayılımı ve kafatası yapısını modellemek için matris analizi alanına yöneldi. Kendi çabalarıyla üst düzey sayısal lineer cebir öğrenen araştırmacı, Fransız matematikçi Michel Crouzeix tarafından 2004 yılında ortaya atılan ve karmaşık matrislerdeki analitik fonksiyon sınırlarını inceleyen 22 yıllık çözümsüz varsayıma odaklandı.

16 saatlik otonom çalışmayla gelen kusursuz kanıt

Shanmu, matematik dünyasının önde gelen isimlerinin yıllardır sonuçlandıramadığı problemi çözmek için OpenAI’ın matematik ve mantık odaklı GPT-5.6-Sol modelini kullandı. ChatGPT Work platformunda özel bir komut mimarisiyle başlatılan süreçte model, hiçbir insan müdahalesi olmadan 16 saat boyunca otonom çalıştı. Farklı alt ajanlar ve stratejiler yürüten yapay zeka, varsayımın ihtiyaç duyduğu en kritik teoremi ve eksiksiz matematiksel ispat zincirini oluşturmayı başardı.

Teorisini kuran matematikçi onayladı

Fransız matematikçi Michel Crouzeix'nın 2004'te öngördüğü ancak 2007'de 11,08 ve 2017'de sınırına kadar yaklaşılan formülde, ideal üst sınır olan "2" sabiti ilk kez kesin olarak ispatlanmış oldu.Sunulan kanıt bizzat problemi ortaya koyan Michel Crouzeix ile birlikte dünyanın önde gelen matematik uzmanları Alex Townsend ve Anne Greenbaum tarafından detaylıca incelenerek onaylandı. Çalışmanın matematiksel doğruluğu ayrıca biçimsel doğrulama dili Lean 4 kodlarıyla da teyit edilerek bilim dünyasındaki yerini aldı.