Navier-Stokes yapay zeka atılımı OpenAI ve Anthropic araştırmacıları arasında kredi kavgası başlattı

Matematikteki en ünlü çözülmemiş problemlerden biriyle ilgili tartışma, NYU matematikçisi Tristan Buckmaster'ın Salı günü OpenAI'ı kendi araştırmasına dayanan bir çalışma için kredi kapmaya çalışmakla ve rakip bir yapay zeka şirketindeki bağları nedeniyle işbirlikçisini yazarlıktan çıkarması için kendisine baskı yapmakla suçlayan bir açıklama yayınlamasıyla patlak verdi.

Matematik

Buckmaster ve Anthropic'te çalışan bir matematikçi olan Levent Alpöge, Diego Córdoba ve Luis Martínez-Zoroa tarafından öncülük edilen bir araştırma programını genişletmek için yaklaşık bir yıl boyunca yapay zeka araçlarını kullandılar. Pazartesi günü geç saatlerde Lean kanıt asistanındaki resmi doğrulama ile birlikte yayınlanan çalışmaları, Navier-Stokes ile yakından ilişkili birkaç akışkan denkleminin — 3D sıkıştırılamaz Euler denklemleri dahil — pürüzsüz zorlama altında sonlu sürede tekillikler geliştirebileceğini gösterdi. Fields Madalyası sahibi Terence Tao, sonuçları "olağanüstü bir başarı" olarak nitelendirdi ve yöntemleri tam Navier-Stokes denklemlerine genişletmek için "temel bir engel" görmediğini söyledi.newscientist+2

Akışkanların hareketini tanımlayan Navier-Stokes denklemleri, Clay Matematik Enstitüsü tarafından belirlenen ve her biri 1 milyon dolar ödüllü yedi Milenyum Ödülü Problemi'nden biridir. Matematikçiler iki yüzyıldır denklemlerin çözümlerinin her zaman pürüzsüz kalıp kalmadığını veya tekilliklere dönüşüp dönüşemeyeceğini belirlemek için mücadele ediyorlar.scientificamerican

Tartışma

Buckmaster'ın kamuya açık açıklamasına göre, kendisinin ve Alpöge'nin ilerlemesine dair söylentiler 3 Eylül civarında OpenAI'a ulaştı. Günler sonra, OpenAI bilim insanı Sébastien Bubeck ona, dahili bir modelin sonucu tam zorlanmış Navier-Stokes denklemlerine genişleten yaklaşık 100 sayfalık bir kanıt ürettiğini söyledi. Buckmaster, şirketin çabasının ancak kendi çalışmasını öğrendikten sonra başladığını ve kendisi ile Alpöge'nin sessizce takip ettiği aynı dar teknik yaklaşımı — Clay probleminin resmi ifadesindeki "zorlama" terimini hedef alarak — izlediğini iddia ediyor.officechai+1

Buckmaster, Bubeck'in Anthropic'teki istihdamını bir komplikasyon olarak göstererek Alpöge'yi yazarlıktan çıkarması için iki kez baskı yaptığını söylüyor. Buckmaster kamuoyuna açıklama yapacağını söylediğinde, Bubeck'in "Neden kariyerini mahvedesin ki?" diye yanıt verdiğini iddia ediyor. Ayrıca OpenAI'ın modelinin, kanıt taslaklarını içeren özel Codex oturum verileri üzerinde eğitilip eğitilmediğini sorduğunu söylüyor. Net bir cevap almadığını belirtiyor.scientificamerican+1

Bubeck, X üzerinden yanıt vererek iddiaları "yanlış ve kışkırtıcı" olarak nitelendirdi ve "akademik normlara uygun" hareket ettiğini söyledi. Daha kapsamlı bir açıklama sözü verdi.officechai

Çözülmemiş Kalanlar

OpenAI'ın iddia ettiği Navier-Stokes kanıtı kamuya açıklanmadı veya dışarıdan matematikçiler tarafından doğrulanmadı. Doğrulanmış Buckmaster-Alpöge sonuçları bile, çoğu uzmanın Milenyum Ödülü'nü yorumladığı şekliyle zorlanmamış Navier-Stokes problemine değil, ilgili denklemlerin zorlanmış versiyonlarına hitap ediyor. Manchester Üniversitesi'nden David Silvester, mevcut çalışmanın yine de ödülü talep etmek için yeterli olabileceğini belirtirken, Surrey Üniversitesi'nden Camilla Nobili, tam Navier-Stokes'a genişlemenin aynı tekniği tekrar çalıştırmaktan daha fazlasını gerektireceği konusunda uyardı.glitchwire+3

Silvester, "Bu sonuç nedeniyle Navier-Stokes'un kullanıldığı uygulamalarda hiçbir şey değişmeyecek" dedi. "Dürüst olmak gerekirse, bu matematiksel bir incelik." Daha büyük soru — rakip yapay zeka laboratuvarlarının matematiksel keşif normlarını bozup bozmayacağı — denklemlerin kendisinden daha zor çözülebilir olabilir.newscientist