1959'DAN BİR SANI, OPENAI'DEN BİR KANIT VE ONU OKUYAN BİR MATEMATİKÇİ

Bu yazı, bir matematikçinin başka birinin kanıtını açıklamak için yazdığı notlar hakkındadır. Burada OpenAI’nin kanıtı hakkında söylenen her şey bu notlardan, ikinci elden geliyor.

Noktalardan geçen eğriler

Problem interpolasyon denen bir okul alıştırmasından doğuyor: x’in birkaç değerini seçin, bir fonksiyonun her birinde hangi değeri alacağına karar verin; her zaman bunu yapan bir polinom bulunur. Düzlemde aynı oyun, bir eğriden bir nokta kümesinden geçmesini ister ve derecesi yeterince yüksekse eğri bunu yapabilir. d dereceli bir eğrinin — x ve y’de en yüksek kuvveti d olan bir polinom denklemiyle çizilen eğri: bir doğrunun derecesi 1, bir çemberinki 2’dir — (d+1)(d+2)/2 katsayısı vardır ve onun bir noktadan geçmesini istemek tek bir denklemdir.

Şimdi daha fazlasını isteyin: eğri her noktadan m katlılıkla geçmeli — orada kesişen dallardan oluşan bir düğüm gibi, birkaç kez. Böyle her nokta m(m+1)/2 denklem dayatır. Büyük d ve m için sayımlar kabaca d²/2 katsayıya karşı r m²/2 koşuldur; dolayısıyla r nokta için sayım, d/m değeri √r’nin biraz üzerine çıkar çıkmaz bir eğriyi garanti eder — tam olarak, katsayılar koşullardan fazla olur olmaz.

Nagata sanısı (1959) bunu kesinleştirir: “çok genel” biçimde — rastgele seçilmiş noktalar gibi, aralarında hiçbir özel çakışma olmadan — yerleştirilmiş r ≥ 10 nokta için böyle her eğrinin derecesi m√r’den büyüktür. r ≥ 10 koşulu gereklidir: dokuz nokta her zaman bir kübik (3. dereceden bir eğri) üzerinde bulunur ve o kübiğin m kez alınmışı, her birinden m kez geçen 3m dereceli bir eğridir — tam olarak m√9, yani sanının dışladığı eşitlik. Nagata bunu r tam kare olduğunda kanıtladı.

Notlardan iki örnek: 10 genel noktanın her birinden üç kez geçen 9. dereceden bir eğri yoktur (60 koşul için yalnızca 55 katsayı — koşullar örtüşebileceği için bu tek başına sonuca varmaya yetmez; bunu dışlayan Nagata’nın sınırıdır, çünkü 9, 3√10 ≈ 9,5’in altındadır) ve 16 genel noktanın her birinden üç kez geçen 12. dereceden bir eğri yoktur — 12 = 3√16 eşitlik durumu.

Tevelev’in anlattığı haliyle kanıt

Kaynak, “OpenAI, Nagata’s conjecture for plane curves” başlıklı, 23 Eylül 2026 tarihli bir OpenAI Math Release ön baskısı; ilgili sorular üzerine eşlik eden el yazmaları 23 Eylül ve 5 Ekim’de yayımlandı. UMass Amherst’ten Jenia Tevelev kanıtı bir konuşma için inceledi ve bu anlatımı, “özellikle uzman olmayanlar için faydalı olacağı” umuduyla bu notlara dönüştürdü. Tevelev hiçbir özgünlük iddia etmiyor ve argümanı yeniden düzenledi.

Standart ilk adımlar düzlemi düzgün bir kübik eğri üzerine sıkıştırır ve r noktayı tek bir noktada birleştirir. Bu anlatıma göre yeni fikir, kübiğin bir düğüm noktası (node) — eğrinin kendini kestiği, bir ilmeği kıstırıp kapattığı bir nokta — geliştirmesine izin vermek ve bu kıstırma kapanırken, böyle bir eğri üzerinde yaşayan fonksiyonları yazmanın standart yolu olan teta fonksiyonlarını izlemektir. Ardından bir dualite, “hangi eğriler bu noktalarda sıfırlanır?” sorusunu ayna görüntüsüyle, “orada hangi değerler önceden verilebilir?” sorusuyla değiştiriyor; geriye kalan şey, tam sayı ızgara noktalarından oluşan bir üçgen üzerinde interpolasyon — doldurulacak sonlu bir değer tablosu, “bu da dolaysız”.

On altı üçlü nokta durumu: üçgenin 91 kafes noktası (solda) ve 96 tek terimli, yani polinomların kurulduğu x²y gibi temel terimler (sağda). Bu 96 terimin 91 noktada her türlü değeri alabildiğini göstermek — 96 × 91’lik matrisin “tam ranklı” olması — eğriyi dışlıyor. — Şekil 3, Tevelev (2026), arXiv:2610.30050, CC BY 4.0.

Aynı hesap, düzlemin bir nokta çevresinde iki yönde farklı miktarlarda büyütüldüğü (“ağırlıklı şişirmeler”, weighted blow-ups) ilgili ve daha teknik bir soruyu da, bu miktarların oranı dokuzu aştığında çözüyor — Dumnicki, Harbourne, Küronya, Roé ve Szemberg’e ait bir sanının bir durumu.

Notlar argümanı bir kanıt olarak sunuyor. Hakem değerlendirmesi ya da bilgisayarla doğrulanmış bir kanıt gibi bağımsız, biçimsel bir denetimden söz etmiyorlar.

“İlk insan okurları”

Notlar yazarın görüşünü de taşıyor. Yayımlanan el yazmalarını okurken Tevelev “onların ilk insan okuru olup olmadığımı merak ettim. Neredeyse hiç düzenlenmemiş gibiydiler” diyor. Tevelev, şirketin matematikçilerin bunları düzene sokmasını beklediğinden şüpheleniyor; bu editoryal çaba “uzmanlık ve zaman gerektiriyor, ama özgün araştırmayla ilişkilendirilen takdirin pek azını getiriyor”. Pek çokları gibi Tevelev de bu yaklaşımın mesleğe, “özellikle gençlerin motivasyonuna ve yetişmesine” zarar verdiğine inanıyor.

“Aynı zamanda bu el yazmalarının çarpıcı bir başarı olduğunu düşünüyorum,” diye yazıyor Tevelev: model, pek çok uzmanın ulaşılamaz sandığı problemleri çözdü ve “matematiksel sanıların eski çalılığı” “yapay zekâ ateşinde hızla yanıyor”.

Öneri: yapay zekâ şirketlerinin finanse ettiği, genç araştırmacılara hibe, burs ve en iyi modellere erişim sunan, hakem değerlendirmesini ABD Ulusal Bilim Vakfı (National Science Foundation) örneğine göre düzenleyen bağımsız bir vakıf.

Notlar “ChatGPT Astra ile düzenlenip resimlendirildiklerini” belirtiyor.