ÜÇ İSPATI BATIRAN İŞARET HATASI
Hodge sanısı (Hodge conjecture), matematiğin en derin açık sorularından biridir. Bu makalede sanının ifadesi, Clay Matematik Enstitüsü’nün The Millennium Prize Problems adlı kitabındaki Pierre Deligne’in yazdığı bir bölümden alınmıştır. Çok kabaca söylersek, polinom denklemleriyle tanımlanan geometrik bir uzayın topolojisinde gizli bazı “biçimlerin”, her zaman kendileri de denklemlerle tanımlanan daha küçük parçalardan inşa edilebileceğini söyler.
Eylül ve Ekim 2026’da OpenAI, “OAI” imzalı ve sanıyı özel durumlarda kanıtladığını iddia eden üç belge yayımladı: K3 yüzeyleri denen bazı yüzeyler, bunların çarpımları ve bazı sekiz boyutlu uzaylar için. OpenAI daha sonra üçünü de geri çekti. Imperial College London’dan Yankı Lekili ve Edinburgh Üniversitesi’nden Nick Sheridan, şimdi bu belgelerin tam olarak nerede yanıldığını açıklıyor.
Aynadan geçen geçerli bir yol
Belgeler zarif bir yol izlemişti. Maxim Kontsevich’in öne sürdüğü homolojik ayna simetrisi (homological mirror symmetry) adlı güçlü bir fikir, geometrik bir X uzayını, simplektik geometride — hareket fiziğinden miras kalan, uzunlukların değil alanların ölçüldüğü bir geometri — incelenen bambaşka türden bir “ayna” Y uzayına bağlar. Bu bağ kurulduğunda, X hakkındaki bir soru Y hakkındaki bir soruyla takas edilebilir.
Burada X için Hodge sorusunu çözmek üzere, ayna Y’de belirli bir nesne inşa etmek yeterlidir: Lagrange daldırması (Lagrangian immersion) denen, yüzeye benzer bir biçim; bunun ayrıca engelsiz (unobstructed) olması gerekir — onu aynanın araç kutusunun meşru bir üyesi yapan teknik bir koşul. Lekili ve Sheridan bunun geçerli bir yaklaşım olduğunu kabul ediyor. Sorun şu: engelsiz Lagrange’lar inşa etmek başlı başına zor bir problem. Üç belgenin de çöktüğü yer burası.
Kesişim noktaları devreye giriyor
Bir daldırmanın kendini kesmesine izin verilir ve her kesişim noktası bir sayı, yani derecesini taşır. Tek dereceli kesişimler burada zararsızdır. 2. dereceden kesişimler ise bir engel yaratabilir.
Belgeler önce esnek bir teknikle, Gromov ve Lees’in h-ilkesiyle (h-principle), kaba bir daldırma inşa etti. Sonra bunu düzeltmek için Tobias Ekholm, Yakov Eliashberg, Emmy Murphy ve Ivan Smith’in 2013 tarihli bir teoremine başvurdular; öyle ki her kesişimin derecesi tek olsun. Hiç çift kesişim kalmayınca engelsizlik de ardından gelecekti.
Eksi olması gereken bir artı
2013 teoremi doğru. Ama kesişimleri standart olanın tersi bir işaret kuralıyla sayıyor. Yazarları bunu hiçbir yerde açıkça söylemiyor; kurallarını tutarlı biçimde kullanıyorlar ve bu kural formüllerinden ve ispatlarından çıkarılabiliyor. OpenAI belgeleri ise standart kuralı kullandı — tek bir işaret ters döndü. Bu önemli, çünkü teoremin sonucu, artı ve eksilerle sayılan kesişimlerin belirli bir toplamının negatif çıkıp çıkmamasına bağlı. Belgeler daldırmalarını bu toplam negatif olacak biçimde kurmuştu — her kesişimin tek dereceli yapılabileceğine inandıkları durum. Teoremin kendi işaretiyle aynı toplam pozitif: yani öbür durum. Sorunu ilk fark edip OpenAI’a bildiren kişinin Nathan Humphrey olduğu anlaşılıyor.
İşaret doğru okunduğunda teorem bambaşka bir hikâye anlatıyor. Teoremin inşası her zaman 2. dereceden bir kesişim noktası bırakıyor; Lekili ve Sheridan bu noktaya p diyor. Diğer bütün kesişimler tek yapılabiliyor; p yerinde kalıyor. Ve p, ispatı çökertmeye yetiyor.
Durum bir boşluktan daha kötü. Yazarlar, bu şekilde üretilen daldırmaların tipik olarak engelli olduğunu gösteriyor: küçük bir “katı” disk — kenarı daldırmanın üzerinde bulunan ve p’den geçen, biçimi değiştirilemeyen yalıtılmış bir yüzey — belirli bir rejimde yok olamayacak bir engel yaratıyor — o rejimin dışında da engelin sıfırlanması için hiçbir neden yok. Onların sözleriyle bu kesişim, “esnekliğin bedeli”.
Katı ve esnek
Bu alandaki matematikçiler, diferansiyel topolojinin genel amaçlı araçlarına boyun eğen esnek problemleri, boyun eğmeyen katı (rigid) problemlerden ayırır. Engelsiz Lagrange’lar genellikle katıdır ve genellikle katıdan esneğe geçilebilir ama geri dönülemez. Bu sezgi, belgeler geri çekilmeden önce bile birçok araştırmacıyı şüpheye düşürmüştü. Yine de yazarlar bir alçakgönüllülük notu ekliyor: sezgi yanılabilir ve 2013 teoreminin kendisi de bir zamanlar beklentilere ters düşmüştü.
Geriye ne kalıyor
Lekili ve Sheridan argümanların geri kalanını incelemiyor ve üç olumlu sonuç sıralıyor. Genel strateji — Hodge sanısına ayna simetrisi üzerinden saldırmak — ilginç ve sürdürülmeye değer; biri Lagrange engelini aşarsa, belgeler kalan teknik adımlara yol gösterebilir. 2013 makalesinin gizli işaret kuralı artık açıklığa kavuştu. Aynı şekilde, o makaledeki daldırmaların hiç engelsiz olup olamayacağı sorusu da.