Anthropic bünyesinde çalışan bir matematikçi, şirketin Claude Fable 5 yapay zeka modelini kullanarak 1939'dan beri çözülemeyen Jacobian varsayımına karşı bir karşı örnek geliştirdi. Üstelik bu karşı örnek, beklenenin aksine son derece sade ve küçük bir formülden oluşuyor.
Jacobian varsayımı, cebirsel geometri ve diferansiyel denklemlerle yakından ilişkili temel bir matematik sorusudur. Özetle şunu sorar: Belirli türevsel koşulları yerine getiren polinom fonksiyonları her zaman küresel olarak terslenebilir midir? Görece teknik olan bu soru, matematiğin pek çok alt dalını birbirine bağladığı için onlarca yıldır büyük ilgi görmüştür.
Yeni çalışma, varsayımın üç ve daha yüksek boyutlarda geçerli olmadığını gösteriyor. Araştırmacı, yapay zekayı olası karşı örnekler üzerinde sistematik bir şekilde akıl yürütmek ve deneme yanılma sürecini hızlandırmak için kullandığını belirtti. Claude Fable 5'in karmaşık cebirsel yapılar arasındaki örüntüleri tanımlama kapasitesi, insan araştırmacının sezgisiyle birleşince beklenmedik bir atılıma zemin hazırladı.
Sonuç, matematikçilerin yıllarca üzerinde çalıştığı bir problemi çözmekle kalmıyor; aynı zamanda yapay zekanın soyut matematiksel akıl yürütmedeki rolüne dair yeni sorular da açıyor. Yapay zeka burada bir hesap makinesi ya da veri aracı olarak değil, doğrudan araştırma ortağı olarak işlev gördü.
Bununla birlikte, bazı önemli sınırlar da göz önünde bulundurulmalı. Varsayımın orijinal iki boyutlu hali hâlâ açık bir problem olma özelliğini koruyor; yani bu keşif her şeyi çözmüyor. Ayrıca sonucun bağımsız matematikçiler tarafından doğrulanması süreci devam ediyor.
Yine de bu gelişme, yapay zeka destekli bilimsel keşfin sembolik bir örneği olarak tarihe geçmeye aday. Saf matematik gibi insan sezgisinin egemen olduğu bir alanda bile yapay zekanın araştırma süreçlerini köklü biçimde dönüştürebileceğini somut olarak gösteriyor.