OpenAI, Navier-Stokes Milenyum Problemi'ni Çözdü mü, Çaldı mı?

Clay Matematik Enstitüsü'nün 2000 yılında seçtiği, her birine 1 milyon dolar ödül konan yedi çözülmemiş temel matematik problemi.

Su, bal veya hava gibi akışkanların uzay-zaman içinde nasıl hareket ettiğini F=ma temelinde açıklayan matematiksel denklemler.

Başlangıçta pürüzsüz olan bir akışkanın sonsuza kadar pürüzsüz kalıp kalmayacağını, yani denklemlerin sonlu sürede tekilliğe izin verip vermediğini soran Milenyum Problemi.

İçinde hiçbir delik olmayan her 3 boyutlu kapalı uzayın aynı zamanda topolojik olarak bir 3-küre olup olmadığını soran, Perelman tarafından çözülen Milenyum Problemi.

Poincaré Sanısı'nda ele alınan, üç boyutlu kürenin topolojik karşılığı olan uzay.

Doğruluğu işlemsel olarak kolayca kontrol edilebilen tüm problemlerin cevaplarını bulmanın da aynı derecede kolay olup olmadığını soran Milenyum Problemi.

Asal sayıların sayı doğrusu üzerinde nasıl dağıldığını sorgulayan ve potansiyel olarak şifreleme güvenliğini etkileyen Milenyum Problemi.

Bir akışkanın akmaya karşı gösterdiği direnç, yani kendi içindeki iç sürtünme.

Akışkanı tekil moleküller yerine, uzay-zamanın her noktasına yayılmış hız ve basınç gibi büyüklüklerle kesintisiz bir ortam olarak modelleme kabulü.

Akışkanın hız ve basınç gibi özelliklerinin keskin kopuşlar veya sonsuz sivrilikler oluşturmadan düzenli, tekrar tekrar türevlenebilir biçimde değişmesi.

Matematik ve fizikte bir büyüklüğün sonsuza ulaştığı absürt davranış noktası.

Sonlu bir sürede hızın sonsuza ulaşması durumu; tekilliğin akışkanlardaki karşılığı.

Navier-Stokes'un sıfır viskoziteli (sürtünmesiz) versiyonu olan benzer denklem seti.

Dönen bir akışkanın merkeze çekildikçe, kollarını çeken bir buz patencisi gibi hızlanmasına yol açan korunum yasası.

Akışkanın kendi etrafında dönerek merkeze doğru şiddetle çekildiği, hızın yoğunlaştığı bölge.

Córdoba ve Martínez-Zoroa'nın sonsuz katmanları üst üste bindirerek oluşturduğu matematiksel yapı.

Clay problem tanımında akışkanın yoğunluğunun değişmediği varsayımı.

Bir argümandaki en ufak mantıksal boşluğu veya hatayı tespit edip reddedebilen, katı bir matematiksel doğrulama asistanı/programlama dili.

Lean'in ispat zincirini denetleyen, özellikle küçük ve denetlenebilir bölümü.

Metin üretmenin ötesinde kaynak tarayan, kod çalıştıran ve birbiriyle iletişim kurarak özerk çalışan yapay zeka birimleri.

Yapay zeka modelinin ürettiği metnin temel işlem birimi; bu çalışmada 130 milyar adet üretilmiştir.

Yapay zekanın gerçekte doğru olmayan çıktılar üretmesi durumu.

Buckmaster'ın, alelacele ve düzgün derlenmeden yayımlanmak zorunda kalınan yarım kalmış çalışma için kullandığı ifade.

Bir genel iddiayı çürütmek için kurallara uyan tek bir aksi örnek (siyah kuğu benzetmesi).

Matematiğin Nobeli olarak görülen, Perelman'a Poincaré Sanısı için verilen ödül.

Fefferman'ın Clay için hazırladığı, herhangi biri kanıtlandığında problemin çözülmüş sayıldığı dört alternatif Navier-Stokes problem formülasyonu.

2002-2003'te Poincaré Sanısı'nı çözen münzevi Rus matematikçi; Fields Madalyası ve Clay Ödülü'nü reddetti.

19. yüzyılın ortasında Navier-Stokes denklemlerini geliştiren isimlerden biri.

Navier ile birlikte Navier-Stokes denklemlerini geliştirdi.

İkinci hareket yasası F=ma, Navier-Stokes denklemlerinin akışkanlara uyarlanmasının temeli olarak anıldı.

1944'te tekilliklere yaklaşan bulgulara ulaşan isimlerden biri olarak anıldı.

2014 ve 2016'da tekillik çalışmaları yaptı; ayrıca bu tür problemlerde geliştirilen araçların bilime katkısı konusundaki sözleriyle alıntılandı.

New York Üniversitesi'nden; Alpöge'yle Euler denklemlerinde atılım yaptı; OpenAI ile yaşadığı tehdit/pazarlık iddialarını anlattı; 2017-2019'da Vicol'le çalıştı.

2017 ve 2019'da Buckmaster ile birlikte tekillik çalışmaları yaptı.

2021'de yapay zekanınkine yakın tekillik bulgularına ulaşan isimlerden biri olarak anıldı.

2021'de Córdoba ile birlikte sonsuz katman/cascade yaklaşımını geliştirdi.

Martínez-Zoroa'nın danışmanı; analitik cascade yaklaşımının ortak geliştiricisi.

Anthropic çalışanı matematikçi; Buckmaster ile Euler atılımını yaptı; makaleden dışlanmak istenmesiyle güveninin kırıldığını anlattı.

Clay Matematik Enstitüsü için Navier-Stokes Problemi'nin A/B/C/D alternatiflerini içeren orijinal metni hazırladı.

OpenAI cephesinin anlatımını savundu; kariyer sözlerinin tehdit amaçlı olmadığını söyleyip yanlış kelimeler seçtiği için özür diledi.