1939 yılında Ott-Heinrich Keller tarafından ortaya atılan Jacobian Sanısı, matematiğin en uzun soluklu açık problemlerinden biri olma özelliğini taşıyordu. Polinomsal dönüşümler ve Jacobian determinantı arasındaki ilişkiyi ele alan bu önerme, yüzlerce matematikçinin onlarca yıl boyunca üzerine çalıştığı ancak bir türlü kanıtlanamayan ya da çürütülemeyen bir konu olarak tarihe geçmişti.
Şimdi ise Anthropic şirketine ait Claude yapay zeka modelinin, bu önermeyi yanlışlayan bir karşı örnek bulduğu bildirildi. Yapay zekanın ürettiği bu matematiksel yapı, eğer doğrulanırsa Jacobian Sanısı'nın aslında yanlış olduğunu kanıtlıyor olacak; yani bu önermenin kanıtlanmaya çalışılmasındaki onlarca yıllık çaba farklı bir anlam kazanacak.
Bu gelişme matematik dünyasında büyük yankı uyandırdı. Zira Jacobian Sanısı yalnızca teorik açıdan değil, cebirsel geometri ve diferansiyel denklemler gibi geniş alanlara olan etkileri nedeniyle de son derece önemli bir yerde duruyor. Önermenin yanlışlanması, bu alanlarda kurulu olan bazı varsayımların yeniden gözden geçirilmesini gerektirebilir.
Öte yandan matematikçiler, yapay zeka tarafından üretilen bu sonuca ihtiyatla yaklaşıyor. Bir yapay zekanın öne sürdüğü matematiksel argümanın, insan matematikçiler tarafından adım adım incelenmesi ve bağımsız olarak doğrulanması gerekiyor. Yapay zeka modellerinin zaman zaman tutarlı görünen ama hatalı mantık zincirleri üretebildiği bilindiğinden, bu doğrulama süreci kritik önem taşıyor.
Bununla birlikte bu gelişme, yapay zekanın soyut ve yaratıcı matematiksel düşüncedeki potansiyelini bir kez daha gündeme taşıdı. Daha önce de yapay zeka destekli araçlar bazı matematiksel keşiflere katkı sağlamıştı; ancak bu ölçekte köklü bir açık problemi çözmek bambaşka bir anlam ifade ediyor. Matematik ve yapay zeka topluluklarının gözü şimdi bu bulgunun doğrulama sürecinde.