Beyin Cerrahı, Matematikçileri 22 Yıl Şaşırtan Varsayımı 16 Saatlik GPT-5.6 Çalıştırmasıyla Kanıtladı
OpenAI
Beyin cerrahı Dr. Shanmu Jin, matris analizinde uzun süredir çözülemeyen Crouzeix varsayımını kanıtladı ve bu süreçte OpenAI'nin GPT-5.6 Sol modelinin 16 saatlik otonom çalışmasından yardım aldı. Kanıtı, varsayımın yazarı da dahil olmak üzere birçok matematikçi tarafından doğrulandı ve günler sonra ikinci bir bağımsız kanıt ortaya çıktı. Bu, amatör birinin bir yapay zeka modeliyle birlikte yaptığı büyük bir matematik katkısına işaret ediyor.
Matematikçi Alex Townsend neredeyse bir yıldır ChatGPT'den Crouzeix varsayımını kanıtlamasını istiyordu, ancak model sürekli olarak yanlış veya eksik kanıtlar veriyordu. 30 Temmuz 2026'da ChatGPT, üç gün önce yayınlanmış bir ön baskıya bağlantı vererek bir çözüm iddia etti. Townsend ve meslektaşı Anna Greenbaum şüpheci bir şekilde okudular ve kısa sürede gerçek olduğunu fark ettiler. Yazar Dr. Shanmu Jin, profesyonel bir matematikçi değil, beyin cerrahisi asistanı ve doktora sonrası araştırmacıdır. Kafatası ötesi ultrason üzerinde çalışırken Crouzeix varsayımıyla ilgilenmeye başladı ve ChatGPT Work'te, internet erişimi olmadan, GPT-5.6 Sol ile 16 saatlik otonom bir oturumda bir kanıt stratejisi formüle etti. Model, Jin'in istemleriyle çeşitli stratejilerden oluşan bir portföy, rakip denetimler ve karşı örnek temelli eleme kullandı. Kanıt, Townsend, Greenbaum ve Michel Crouzeix tarafından bağımsız olarak kontrol edildi ve daha sonra ChatGPT 5.6 Pro kullanan matematikçiler Emil Lorist ve Felix Schwenninger tarafından yapılan ikinci bir farklı kanıtla güçlendirildi. Bu vaka, matematiksel keşifte bir paradigma değişimini vurgulamakta ve akran değerlendirmesinin sürdürülebilirliği hakkında sorular ortaya çıkarmaktadır.
Kaynak: Habr — хаб ИИ —
orijinal