Matematik 2.0: Yapay Zekâ 722 Kanıtı Bir Gecede Yayımlayınca

Matematiğin en tanınan ismi Terence Tao, OpenAI'ın birkaç gün içinde yayımladığı yüzlerce yapay zekâ üretimi matematik atılımına yanıt verdi ve matematik dünyası bu sel karşısında sarsıldı. Videonun sunucusu Dr. Samuel Allen Alexander, Tao'nun Math 2.0 tezini satır satır okuyup tartışıyor. Ortadaki soru yalın ama ağır: makineler kanıt ürettiğinde matematiğin anlamı ne olur?

Tao'ya göre klasik düzende, yani Math 1.0'da, köklü bir sanının kanıtı büyük bir hareketlilik doğurur: yazarlar konuşmalara çağrılır, alanın uzmanlarıyla buluşur, çalıştaylar kurulur, yeni iş birlikleri doğar, takip soruları paylaşılır ve kanıtlar zamanla sadeleşip ders notlarına girer. Bu sindirim süreci bir sonucun camiaya mal olmasını sağlar.

Math 1.0'ın vaadi: sindirilen kanıt

Tao'nun itirazı sert: çözülmüş bir soru çözülmemiş hale döndürülemez ve çözümün varlığının bilinmesi bile alternatif yolları kirletir. Ona göre yapay zekâ destekli ekipler açık soruları kanıt hasadı mantığıyla endüstriyel ölçekte topluyor ve bu tempo alanları bereketli kılan zemini tüketiyor. Hedefe ilk varma priminin kalktığı bir düzende derin düşünceyi ödüllendiren düzenek de zayıflıyor.

Tartışmanın fitilini eylül başında OpenAI'ın Navier-Stokes düzenlilik sorusuna ilişkin duyurusu ateşledi. IBM'e verdiği söyleşide Tao bu gelişmeyi kaygı verici bulduğunu söyledi: zor sorular, yöntemler ve ara içgörüler damıtılamadan Navier-Stokes gibi doksan yıllık düğümler çözülünce sürecin yan ürünleri kayboluyor. Ona göre yapay zekâ artık mihenk taşlarını aşmış, açık araştırma sorularını tek tek toplamaya başlamış durumda.

Ekim başında tablo büyüdü: yayımlanmamış bir sınır modelinden 722 makale, 372 sonuç ailesi ve 20 alt alan. NewScientist'in aktardığına göre Wall D(2) sorusu üzerinde 25 yıl çalışıp iki kitap yazan Francis Johnson sonucu şaşkınlıkla karşıladı. SiliconAngle kaydına göre en dikkat çekici başlıklardan biri asal sayıların 150 yıllık düğümü Riemann sanısına ilişkin quasi-Riemann parçasıydı; ayrıca matris çarpımı ve kuramsal bilgisayar biliminde seksenden fazla çalışma vardı.

Ekim seli: bir gecede 722 makale

Implicator incelemesine göre üst sıra sonuçların yalnızca yüzde 42'si makine denetimli Lean belgesi taşıyordu; yayımlanmamış model dışarıdan koşturulamıyor ve istemler paylaşılmadı. Ertesi gün bir işaret hatası yüzünden üç el yazması geri çekildi. Bu tablo Lean doğrulaması taşıyan başlıklarla ham iddiaları ayırmanın neden zorunlu olduğunu gösteriyor; doğrulanmamış sonuçların sorunlu çıkabileceği bizzat şirket tarafından kabul ediliyor.

Sunucu Alexander ise Tao'nun tablosunu seçkinlerin penceresinden yazılmış buluyor. Geçen yıl matematiksel biyolojinin önde gelen bir dergisinde makale yayımladığını, buna karşın hiçbir konuşmaya çağrılmadığını anlatıyor. Ona göre sıradan bilim insanları zaten bu şatafatı görmüyor; Andrew Wiles'ın Fermat çalışmasını yıllarca gizli yürütmesi bilgi saklamanın yapay zekâdan eski olduğunu kanıtlıyor. Pisagor önermesinin milyonlarca kanıtı varken yeni bir kanıt aramak da kimseye yasak değil.

Hacker News cephesi: birleştirme mi yaratıcılık mı

Hacker News cephesinde Love Parade yapay zekâ örüntüsünü net özetledi: modeller devasa bilgiyi birleştirmede olağanüstü ama soruna geri çekilip zarif bir soyutlama önermekte cılız. Fotron ise sıkı geri bildirim döngüsü tezini savundu: çıktısı kolay denetlenen işlerde modeller şaşırtıcı biçimde iyi ve kanıt denetleyicilerle yapay zekâ birlikteliğinin başarısı buradan geliyor. Alexander buna kendi yaşantısından itiraz ediyor: izleyicilerin yapay zekâyla çözüp gönderdiği, kendi makalelerindeki açık soruların çözümleri ona göre sahici ve özgün.

Fubble laboratuvarların Go ve satrançta üstünlüğü ilan edip çekilmesini hatırlatıyor: mihenk taşları tükenince matematik de mi terk edilir? Ant-Man yakın gelecekte modellerin sanrılarının azalacağını, çıktıların sadeleşeceğini ve insan denetiminin eriyeceğini savunuyor. Sunucu ise coşkulu: ona göre bu dönem Öklid'den bu yana görülen en heyecan verici parlak dönem ; kötü gün geçirenler yalnızca seçkin kürsüler.

Bner'in cümlesi tartışmanın özeti gibi: matematiğin geleceği çözmek değil neyin çözüldüğünü ve neden önemli olduğunu anlatmak. Thurston'ın psikoloji vurgusu da burada anılıyor: matematik zihinden zihne taşınması zor fikirlerin disiplini. QuantaMagazine dosyasının anlattığı dönüşüm bunu destekliyor: LLM destekli otomatik denetleyiciler sorunu küçük parçalara bölüp tek tek çözmeyi ve bütünü güvenle birleştirmeyi mümkün kılıyor.

Güzellik, fon ve felsefe

Russell'ın 1902'deki soğuk ve yalın güzellik övgüsüyle Hardy'nin çirkin matematiğe kalıcı yer yok ölçütü videoda uzun uzun anılıyor. Sunucu buna tersinden bakıyor: saf matematik bir sanat ve sosyal bilimse vergi veren yurttaşın araştırma kesesini açması zorlaşır. Asal sayıların kriptografiye uzanan öyküsü ona göre sağkalım yanlılığı taşıyor: işe yarayan bir avuç sonuç unutulan milyonları perdeliyor. Güzellik ölçütü kalıcı olabilir ama fon gerekçesi olamaz.

Tao'nun WordPress günlüğündeki konuk yazı Rav'ın özdeyişiyle çerçeveyi netleştiriyor: teoremler manşet, kanıtlar iç öyküdür. 8 Eylül'deki Navier-Stokes duyurusunun yaklaşık 10 bin agentin paralel taramasıyla üretildiği, ardından Lean belgesine dönüştürüldüğü, doğruluğun makineyle desteklendiği ama içgörünün henüz sindirilemediği anlatılıyor. Gowers'ın notu da aynı yönde: yetersiz makine yazımı geçici bir pürüz olabilir. İç öykü olmadan manşet cılız kalır.

Geriye Math 2.0'ın ödevi kalıyor: çözüm selini sindirilmiş anlayışa çevirmek, anlatıyı ve topluluk kurmayı işin merkezine koymak. İlk olma priminin eridiği, makale dağlarının kâğıt yığınlarını büyüttüğü bir akademide yapay zekâ sarsıntısı reforma da kapı aralıyor. Sunucunun kalem fabrikası benzetmesi yerinde: kalem bolluğunda çözüm daha çok kalem üretmek değildir; daha çok okumak, ayıklamak ve anlatmaktır. Token saymak değil anlam damıtmak gerekir.