Claude Fable 5 ve Jacobian Varsayımı: Nelerin Kanıtlandığı, Nelerin Kanıtlanmadığı

Dünya Kupası finalinin gecesinde çoğu insan futbol izliyordu. İnternetin küçük bir köşesi ise matematik tarihinin hareket ettiğine tanıklık ediyordu.

Anthropic araştırmacısı Levent Alpöge, X’te kısa bir mesaj paylaştı. Jacobian varsayımının yanlış olduğunu söyledi. Bu, 1939’dan beri çözülemeyen bir problemdi. Soruyu önerdiği için bir meslektaşına, maç sırasında çalışmayı gerçekleştirdiği için de Claude Fable 5’e atıf yaptı.

Ertesi güne gelindiğinde, matematikçiler bunu elle kontrol etmişti. Dayandı.

Ancak "Yapay zekâ 87 yıllık matematik problemini çözdü" gibi bir manşet, ardındaki ayrıntılardan daha hızlı yayılır. O yüzden yavaşlayalım. Burada gerçekten yeni olan ne? Olmayan ne? Ve bunu kendiniz kontrol edebilir misiniz?

Edebilirsiniz. Yaklaşık on beş satır Python ile. Oraya geleceğiz.

Kısa Cevap

Claude Fable 5, üç boyutlu karmaşık uzaydan yine kendisine bir polinom görüntüleme (harita) kurulmasına yardımcı oldu, ℂ³ → ℂ³ şeklinde yazılır. Jacobian determinantı her yerde sabit -2’dir; bu, Keller’in 1939’daki varsayımındaki koşulun ta kendisidir. Yine de harita, üç farklı girdi noktasını aynı çıktıya gönderiyor. Bu tek örnek, varsayımı üç ve daha yüksek boyutlarda çürütüyor. Orijinal iki değişkenli sürüm ise hâlâ açık; hakemli bir makale de henüz yok, yalnızca doğrulanmış bir hesaplama ve bir ön baskı (preprint) var.

Bir paragrafta bütün hikâye bu. Makalenin geri kalanı, bu paragraftaki her ifadenin neden önemli olduğunu açıyor.

Jacobian Varsayımı Nedir?

Bir sayı listesini alıp yeni bir liste veren bir fonksiyon hayal edin. Bu, bir uzaydan diğerine bir "harita"dır. Matematikçiler bu tür haritalar hakkında basit bir soru sorar: Her zaman geri gidebilir misiniz? Çıktıyı biliyorsanız, onu üreten girdiyi tam olarak geri kazanabilir misiniz?

Biraz makine öğrenimi yaptıysanız, muhtemelen bu sorunun merkezindeki nesneyle —drama olmadan— zaten karşılaştınız. Jacobian, bir haritanın kısmi türevler matrisidir: geri yayılımın her katmanda çarptığı şey. Normalleştirici akışlar olasılık kütlesinin ağ boyunca nasıl gerildiğini izlemek için determinantına da ihtiyaç duyar. Aynı matris. Farklı mahalle.

Kalkülüs, tam da bu matrise dayanan yerel bir tersine çevrilebilirlik testi verir: Jacobian determinantı. Bir noktada sıfır değilse, harita o noktanın civarında tersine çevrilebilir.

Ama bir noktanın civarı, her yerle aynı değildir. Bildiğim en temiz örnek burada ve iki satır sürer:

import numpy as np

f = lambda x, y: (np.exp(x) * np.cos(y), np.exp(x) * np.sin(y))

print(f(0, 0))              # (1.0, 0.0)
print(f(0, 2 * np.pi))      # (1.0, ~0.0) — same output, different input

Bu haritanın Jacobian determinantı e^²ˣ’tir ve asla sıfır olmaz. Düzlemdeki her bir noktada yerel testi geçer. Yine de tersine çevrilemez, çünkü etrafında dolaşır: iki farklı yol, aynı ev.

Yine de dikkat edin, bu örnek üstel fonksiyon kullanıyor. 1939’da Alman matematikçi Ott-Heinrich Keller, polinomların daha iyi davranıp davranmadığını sordu. Sorusu şuydu: Bir polinom haritanın Jacobian determinantı yalnızca her yerde sıfırdan farklı olmakla kalmayıp her yerde tek bir sabit değerse, bu nihayetinde tam, küresel (global) tersine çevrilebilirliği garanti eder mi?

87 yıl boyunca kimse yanıtlayamadı. Ne ispat vardı ne de karşı-örnek. Claude Fable 5’in şimdi darbeyi indirdiği varsayım budur.

Claude Fable 5 Aslında Ne Buldu?

Alpöge’nin gönderisinde, ℂ³’ten yine kendisine açık bir polinom harita yer alıyordu. Jacobian determinantı her bir noktada sabit -2 çıkıyor. Bu, Keller’in tam koşulu. Buna rağmen üç ayrı nokta içeri giriyor ve üçünün de çıktısı aynı oluyor.

Bir bilgisayar cebiri aracı olan herkes bunları yerine koyup kontrol edebilir. Nitekim olan da bu oldu: Matematikçiler saatler içinde sayıları çalıştırdı ve aritmetik tuttu.

Karşı-örnek üç boyutta yaşadığından, varsayımı daha yüksek her boyut için de bozar. 3B haritayı alın, dokunulmamış fazladan değişkenlerle “doldurun” ve dört, beş ya da yüz boyutta çalışan bir karşı-örneğiniz olur. Bu doldurma yalnızca yukarı doğru gider. Üç boyutlu bir karşı-örneği iki değişkene sıkıştıramaz; işte bu yüzden bu makalenin son bölümü var.

Kendiniz Python’da Kontrol Edin

Burada sınırdaki yapay zekâ hakkında bir hikâye, bir not defterinde çalıştırabileceğiniz bir alıştırmaya dönüşüyor. Çalıştırmaya değer. Karşı-örneğin kendi makinenizde tam aritmetikle tuttuğunu görmek açıklayıcıdır. Sadece sympy’ye ihtiyacınız olacak, başka bir şeye değil.

Önce haritayı tanımlayın ve determinantı doğrulayın:

import sympy as sp

x, y, z = sp.symbols("x y z")

# The map Claude Fable 5 helped construct, from C^3 to C^3
f1 = (1 + x * y) ** 3 * z + y**2 * (1 + x * y) * (4 + 3 * x * y)
f2 = y + 3 * x * (1 + x * y) ** 2 * z + 3 * x * y**2 * (4 + 3 * x * y)
f3 = 2 * x - 3 * x**2 * y - x**3 * z

# Keller's condition: the Jacobian determinant must be a nonzero constant
jacobian = sp.Matrix([f1, f2, f3]).jacobian([x, y, z])
print(sp.simplify(jacobian.det()))

-2

"Yaklaşık -2" değil. Tam olarak -2, sembolik olarak, ℂ³’teki her nokta için. Bir koşul tamam.

Şimdi çarpışma. Bu üç noktayı, SymPy’ye F(v) = F(1, 1, 1) denklemini çözdürerek buldum. Alpöge’nin orijinal gönderisi kendi kümesini veriyor; her ikisi de işe yarar:

s = sp.sqrt(53)

points = [
    (1, 1, 1),
    (sp.Rational(-1, 2) - 7 * s / 106, 25 - 3 * s, -134090 + 18420 * s),
    (sp.Rational(-1, 2) + 7 * s / 106, 25 + 3 * s, -134090 - 18420 * s),
]

for p in points:
    image = [sp.simplify(f.subs({x: p[0], y: p[1], z: p[2]}))
             for f in (f1, f2, f3)]
    print(image)

[22, 34, -2]
[22, 34, -2]
[22, 34, -2]

Gerçekten farklı üç girdi. Tek bir çıktı. Üç girdi tek bir cevap veriyorsa, ters fonksiyon olamaz ve Keller’in varsayımı çöker. Az önce, 87 yıllık bir problemi sonuçlandıran hesabı tam aritmetikle kendiniz doğruladınız.

Kodu atladıysanız özet şu: İddianın her iki yarısı —sabit determinant ve çarpışan noktalar— sembolik doğrulamadan geçiyor. Kayan noktalı hesaplamaya güven gerekmez.

Birileri Bunu Zaten Çürütmemiş miydi?

Daha ileri gitmeden önce, Alpöge’nin gönderisine gelen yanıtlarda karşılaşmış olabileceğiniz bir noktayı ele almaya değer; çünkü bu alanda sürekli gündeme gelen daha eski bir sonuç var ve farkın önemi büyük.

1994’te Sergey Pinchuk, iki değişkenli, reel sayılı bir polinom harita buldu; her yerde yerel olarak tersine çevrilebiliyor, ancak küresel olarak çevrilemiyordu. İyi bilinen bir inşadır ve Fable 5’in sürümünün bu fikrin yalnızca üçüncü boyuta gerilmesi olduğu varsayılabilir.

Değil. Pinchuk’un haritasının yalnızca Jacobian determinantının sıfır olmaması gerekir. Değerin noktadan noktaya kaymasına izin verilir ve tüm yapı yalnızca reel sayılar üzerinde çalışır. Bu, bazen "güçlü reel Jacobian varsayımı" denilen daha zayıf bir soruyu yanıtlar. Keller’in orijinali karmaşık sayıları ve sabit bir değeri ister; Pinchuk’un inşası bu eşiği hiçbir zaman geçmek üzere tasarlanmamıştır. Matematikçiler bu farkı otuz yıldır biliyor.

Karmaşık sayılar neden çıtayı yükseltir? Kabaca: Reel sayılarda bir polinom, sorunlu noktalarda hiç reel çözümü olmamasıyla meseleyi atlatabilir. x² + 1, reel doğru üzerinde asla sıfırı vurmaz; ancak ℂ üzerinde vurmak zorundadır. Karmaşık uzay, haritaya saklanacak yer bırakmaz; dolayısıyla Keller’in koşulundan orada sağ çıkmak çok daha güçlü bir taleptir. Yukarıdaki üstel harita da bunu ima etmişti; çünkü onu bozan “etrafında dolaşma” baştan sona karmaşık sayılarla ilgili bir olgudur.

İki sonuç bir aile benzerliği taşır. Her ikisi de “her mahallede tersine çevrilebilir” ile “tüm uzayda tersine çevrilebilir” arasındaki boşluktan yararlanır. Bu, matematiğin kendini nasıl inşa ettiğinin bir işaretidir; burada yeni hiçbir şey olmadığına dair kanıt değil.

Hâlâ Çözülmemiş Olanlar

İki değişkenli durum hâlâ açık. Bu, düzlemden yine düzleme giden haritalar için varsayımın orijinal ve en çok çalışılmış sürümüdür ve daha önce belirtildiği gibi, hiçbir miktarda “doldurma” 3B bir karşı-örneği bu duruma indirmez. Birçok matematikçi, düzlem durumunu daha zor ve daha merkezi problem olarak görür. Artık bu, varsayımın hayatta kalan çekirdeğidir; az önce sonuçlanan şeyin daha küçük bir versiyonu değil.

Bu ayrıca hakemli incelemeden geçmedi. Şu anda doğrulanmış bir hesaplama ve bir ön baskı var; hakemli bir makale değil. Tüm mesele sizin az önce çalıştırdığınız iki hesaplamaya indiğinden, doğrulama muhtemelen takılma noktası olmayacaktır; ancak kayıtlara neyse o geçmeli.

Daha derin bir boşluk da var. Kimse karşı-örneğin neden çalıştığını tam olarak açıklayamıyor. Sembolik bir kontrol çarpışmanın gerçek olduğunu teyit eder; ancak size bunun ardındaki hikâyeyi, bir matematikçinin baştan inşa edebileceği türde bir açıklamayı vermez. Soruyu öneren Chicago Üniversitesi’nden matematikçi Akhil Mathew’in dediği gibi: Cevabı doğrulayabilirsiniz, ama anlatacak bir hikâye olması daha hoş olurdu.

Keşif sürecinin kendisi de biraz sisli kalıyor. Bir insan soruyu sordu, bir yapay zekâ çalışmayı yaptı, bir insan sonucu duyurdu. Bu kredi satırı istemleri, yanlış başlangıçları veya süreç boyunca ne kadar yönlendirme yapıldığını göstermiyor. Bu, yapay zekâ destekli ispatların nasıl kredilendirileceğine dair gerçek bir soru ve matematiğin tutup tutmadığından ayrı bir konu. Tutuyor.

Son Düşünceler

Matematik gerçek. On yıllardır açık olan bir varsayım, üç ve üzeri boyutlar için gerçek bir açık verdi; standart araçlarla bağımsız olarak doğrulandı ve Pinchuk’un 1994 sonucunun bir tekrarından ibaret değil. Ancak bu, "Jacobian varsayımının" tamamen çözümü değil. Düzlem durumu hâlâ ayakta ve sonuç, matematiğin genellikle cevabın kendisi kadar önemsediği türden bir açıklama olmadan geldi.

Bu aynı zamanda bir örüntünün parçası. Sınırdaki modeller, 2026 boyunca kombinatorik ve sayı teorisi dâhil olmak üzere uzun süredir açık kalan problemlerde ilerleme kaydetti. Bunu, tek seferlik bir olay değil, o eğilimde bir veri noktası olarak okuyun.

Teknik problemler üzerinde yapay zekâ ile çalışmayı öğrenen herkes için çıkarılacak ders "Yapay zekâ artık araştırma matematiği yapabiliyor" değil. Daha dar: Bu modeller, başarının tam bir doğrulayıcısının bulunduğu alanlarda somut nesneler üretmede iyi hâle geliyor ve yukarıda gördüğünüz gibi, bir pip install sympy ile o doğrulayıcı siz olabilirsiniz. Üretim hızla ilerliyor. Doğrulama aynı tempoda. Anlama ise hâlâ biraz geriden geliyor.

Burada geliştirilmeye değer iki beceri doğrusal cebir ve sembolik Python: determinantlar, tersinirlik ve iddiaları güvenmek yerine tam aritmetikle kontrol etme alışkanlığı. Bu tür bir sonuç bir dahaki sefere düştüğünde, gün bitmeden kontrolü kendiniz çalıştırmaya hazır olacaksınız.