Jacobian Sanısı nedir ve Tao'nun bu konudaki ChatGPT sohbeti neden viral oldu

Bu hafta programcılar ve araştırmacılar arasında geniş çapta dolaşan bir bağlantı bir ürün lansmanı ya da araştırma makalesi değil, paylaşılan bir ChatGPT sohbetiydi: tanınmış matematikçi Terence Tao'nun, cebirsel geometrinin daha inatçı açık problemlerinden biri olan Jacobian Sanısı ile ilgili fikirleri, bir yapay zeka sohbet botunu fikir arkadaşı olarak kullanarak çalıştığını gösteren bir döküm. Bu alışveriş, önde gelen bir matematikçinin zor bir problem üzerinde düşünürken yapay zeka araçlarını gerçekte nasıl kullandığına dair, bitmiş bir sonucun cilalanmış özeti yerine nadir, filtrelenmemiş bir bakış sunuyor.

Jacobian Sanısı, ilk olarak matematikçi Ott-Heinrich Keller tarafından 1939'da öne sürüldü ve çok boyutlu uzayı kendi üzerine eşleyen belirli bir polinom fonksiyon sınıfıyla ilgileniyor. Kabaca ifade edilirse, belirli bir cebirsel özelliğe -sabit, sıfırdan farklı bir Jacobian determinantına, bir dönüşümün uzayı ne kadar gerdiğini ya da sıkıştırdığını ölçen kalkülüsten bir niceliğe- sahip bir polinom eşlemenin her zaman tersinir olması gerekip gerekmediğini soruyor; yani dönüşümün her zaman başka bir polinom eşleme ile geri alınabilmesi gerekip gerekmediğini.

Sanı dar kapsamlı görünse de, cebirsel geometri, karmaşık analiz ve dinamik sistemlerin kesişiminde yer alıyor ve ciddi matematikçilerin sürekli ilgisine rağmen seksen yılı aşkın süredir ispata direniyor. Ayrıca on yıllar boyunca daha sonra ince hatalar içerdiği ortaya çıkan istikrarlı bir önerilen ispatlar akışı çektiği için alanda bir tür kötü şöhret kazandı; bu geçmiş, matematikçileri son derece dikkatli bir doğrulama olmadan bir çözümü, kısmi bir çözümü bile, iddia etme konusunda özellikle temkinli hale getirdi.

Paylaşılan sohbeti dikkat çekici kılan şey, sanıyı çözmesi değil -alışverişteki hiçbir şey doğrulanmış bir ispat ya da çürütme anlamına gelmiyor; resmi matematiksel sonuçlar, bir sohbet dökümünün yerini alamayacağı titiz akran değerlendirmesi gerektirir. Bunun yerine gösterdiği şey, çalışan bir matematikçinin bir yapay zeka sistemini işbirlikçi bir düşünme aracı olarak kullanması, olası yaklaşımları test etmesi, belirli cebirsel manipülasyonları kontrol etmesi ve bir karşı örneğe yönelik belirli bir saldırı hattının tutup tutmayacağını araştırması; bu, bir matematikçinin bir meslektaşıyla ya da bir beyaz tahtayla sesli düşünmesine oldukça benziyor.

Bazen yapay zeka destekli matematiksel keşif olarak tanımlanan bu tür kullanım, bir yapay zeka sisteminden doğrudan bir ispat üretmesini istemekten anlamlı biçimde farklı. Karmaşık, özgün matematiksel akıl yürütme, yapay zeka sistemlerinin -özellikle Jacobian Sanısı gibi, ince hataların on yıllardır uzman insanları bile tökezlettiği problemlerde- ikna edici görünen ama sonuçta yanlış iddialar yapabildiği bir alan olmaya devam ediyor. Bu keşif modunda yapay zeka araçlarını kullanan matematikçiler, genellikle sistemin önerilerini güvenilir sonuçlar olarak değil, bağımsız olarak doğrulanması gereken hipotezler olarak ele alıyor.

Tao, matematikçilerin yapay zeka araçlarını verimli biçimde nasıl kullanabileceği konusunda -ispat stratejilerini araştırmak, hesaplamaları kontrol etmek ve argümanları doğrulama sistemlerinde biçimlendirmek için yapay zeka sistemleriyle deneyler yapmak dahil- önde gelen, görece kamusal bir ses oldu. İçerdiği çıkmaz sokaklar ya da düzeltmeler ne olursa olsun, ham, düzenlenmemiş bir sohbeti paylaşma isteği, düzenlenmiş bir duyurudan farklı bir tür içgörü sunuyor; bitmiş bir sonuç yerine matematiksel düşüncenin daha dağınık, yinelemeli sürecini gösteriyor.

Bu olay, matematik ve bilimler genelindeki bazı araştırmacıların yapay zeka sohbet botlarını günlük çalışma süreçlerine dahil etme biçiminde süregelen daha geniş bir değişimi yansıtıyor; bu, resmi ispatın ya da titiz türetmenin yerini almak için değil, fikirleri test etmenin, aritmetik kaymaları yakalamanın ya da daha dikkatli, resmi bir araştırma hattına bağlanmadan önce bir problem uzayını keşfetmenin hızlı, etkileşimli bir yolu olarak. Bu değişim hâlâ görece yeni ve matematik topluluğu genelinde eşit olmayan biçimde benimsenmiş durumda; rutin hesaplamanın ötesinde herhangi bir şey için yapay zeka sistemlerine güvenmeye şüpheyle yaklaşan pek çok çalışan matematikçi var.

Matematik dışındakiler için, paylaşılan sohbetin cazibesi kısmen erişilebilirliğinde yatıyor: önde gelen bir uzmanın gerçekten zor, çözülmemiş bir problem üzerinde -hatalar ve belirsizlik dahil- gerçek zamanlı olarak akıl yürütmesini izlemek, yayımlanmış bir makalede tipik olarak sunulan temiz, geriye dönük anlatıdan daha dürüst bir matematiksel araştırmanın gerçekte nasıl ilerlediğine dair bir resim sunuyor.

Tao'nun sohbetindeki belirli akıl yürütme hattının nihayetinde Jacobian Sanısı'na doğru bir yere varıp varmayacağı açık bir soru olarak kalıyor ve eğer hiç çözülürse, bir sohbet dökümü yoluyla değil, geleneksel resmi ispat ve akran değerlendirmesi süreciyle çözülecek. Bu olayın, o belirli matematiksel ipliğin nereye vardığından bağımsız olarak şimdiden gösterdiği şey, yapay zeka araçlarının en başarılı matematikçilerin bile çalışma alışkanlıklarına nasıl yerleşmeye başladığına dair bir bakış.