Clay Matematik Enstitüsü OpenAI’ın Navier-Stokes İddiasını Yorumladı

OpenAI, 8 Eylül'de yaptığı açıklamada, henüz yayınlanmamış dahili bir yapay zeka modelinin 88 saat boyunca yaklaşık 10.000 otonom ajan kullanarak üç boyutlu Navier-Stokes denklemlerinin sonlu bir sürede tekillik oluşturabileceğine dair bir kanıt ürettiğini duyurdu. Doğrulanması halinde bu sonuç, Clay Matematik Enstitüsü tarafından 2000 yılında belirlenen altı Milenyum Ödüllü Problemden birini çözmüş olacak. Ancak duyuru, NYU matematikçisi Tristan Buckmaster ve Anthropic araştırmacısı Levent Alpöge ile araştırma telif hakkı ve özel verilerin olası rolü üzerine tırmanan bir anlaşmazlığın gölgesinde kaldı.nature+2

Akışkanlar Dinamiğinde Çığır Açan İddia

Navier-Stokes denklemleri su ve hava gibi akışkanların nasıl hareket ettiğini tanımlar. Çözümlerinin her zaman düzenli mi kalacağı yoksa fiziksel olarak imkansız sonsuz hızlar üreterek kontrolden mi çıkacağı sorusu onlarca yıldır yanıt bekliyordu. OpenAI, geliştirdiği kanıtın başlangıçta durgun ve pürüzsüz olan bir akışkanın pürüzsüz bir dış zorlama altında böyle bir tekillik geliştirebileceğini gösterdiğini açıkladı. Bu sonuç, formal bir teorem kanıtlama dili olan Lean kullanılarak doğrulandı. OpenAI yöneticilerinin bir basın toplantısında verdiği bilgiye göre, bu çalışma işlem gücü açısından "milyonlarca dolara" mal oldu.axios+3

Scientific American S&P Global Inc. ↘ 0.98% haberine göre, Lean doğrulaması kanıtın doğruluğunu "hemen hemen garanti ediyor" ancak daha geniş matematik topluluğunun hakem değerlendirmesini henüz tamamlaması gerekiyor. Clay Matematik Enstitüsü ise 11 Eylül'de yaptığı açıklamada, sonucun "analiz edilip sorgulanmasından" duyulan "heyecanı paylaştığını" söyledi ancak problemin çözüldüğünü ilan etmekten kaçındı.scientificamerican+1

Atıf Anlaşmazlığı

Bu başarı, Buckmaster'ın OpenAI'ın kendisinin ve Alpöge'nin (kısmen OpenAI'ın Codex aracını kullanarak) yürüttüğü ilgili araştırmadan haberdar olduktan sonra çalışmalarını hızlandırdığı yönündeki iddialarının ortasında geldi. Buckmaster ve Alpöge, 7 Eylül'de benzer ancak basitleştirilmiş akışkan denklemleri için sonlu sürede patlama olduğunu gösteren kendi sonuçlarını yayınlamışlardı. TechRepublic'in haberine göre Buckmaster, OpenAI'ın Alpöge'nin adının çıkarılması şartıyla Navier-Stokes çözümünde kendisine tek yazarlık teklif ettiğini öne sürüyor. Bu iddia OpenAI araştırmacısı Sébastien Bubeck tarafından yalanlandı.techrepublic+3

OpenAI, araştırmacılarının ve ajanlarının "halka açıklanana kadar çalışmalarının hiçbirini hiçbir şekilde görmediklerini" ve "bu problemi çözmek için belirli bir kullanıcı verisine erişilmediğini" belirtti. Ancak şirket, "ürünlerimizi kullanımlarından elde edilen anonimleştirilmiş verilerin modellerimizi geliştirmeye yardımcı olmuş olabileceğini göz ardı edemeyeceğini" kabul etti. The Next Web'in haberine göre Buckmaster, Bubeck'in anlatımını alenen "tamamen asılsız" olarak nitelendirdi ve Bubeck sonrasında aralarındaki görüşmeler sırasında yaptığı bir yorum için özür diledi.thenextweb+4

Daha Geniş Çaplı Yansımalar

Bu anlaşmazlık matematik topluluğunda geniş yankı buldu. Önde gelen matematikçiler tarafından imzalanan açık bir mektup, yapay zeka şirketlerini uygun atıfta bulunmadan ünlü problemleri çözmek için acele etmekle eleştirdi. Fields Madalyası sahibi Deng Yu, sosyal medyada yapay zekanın tüm matematik problemlerini çözmesi durumında "Eve gidip yuri romanımı yazacağım" esprisini yaparken, yapay zekanın "matematik çevrelerinde bir huzursuzluk ve sabırsızlık atmosferi" yarattığı uyarısında bulundu. Clay Matematik Enstitüsü'nün resmi yanıtında, "yeni insan kavrayışına" katkı sağlama potansiyelinin övgüyle karşılanması dikkat çekerken, ödül uygunluğuna dair hiçbir ifadeden bahsedilmedi.thenews+1