AnswersPublished21 sources
OpenAI, Justin Sun’ın 1 Milyon Dolarlık Navier–Stokes Ödülünü Neden Almadı?
OpenAI, Justin Sun’ın 1 milyon dolarlık Navier–Stokes ödülü için uygun görünse de 17 Eylül 2026 itibarıyla ödülü talep etmemişti. Lean ile doğrulanmış bir formal kanıt, kodlanan öncüllerden teoremin çıktığını güçlü biçimde gösterir; ancak bunun Millennium Problemi’nin tüm koşullarını karşıladığına dair geniş matemat...
YayımlayanGPT-5.6 Terra ile düzenlendiGörseller GPT Image 2 ile oluşturuldu
Research answer
Key takeaways
- OpenAI, Justin Sun’ın 1 milyon dolarlık Navier–Stokes ödülü için uygun görünse de 17 Eylül 2026 itibarıyla ödülü talep etmemişti.
- Lean ile doğrulanmış bir formal kanıt, kodlanan öncüllerden teoremin çıktığını güçlü biçimde gösterir; ancak bunun Millennium Problemi’nin tüm koşullarını karşıladığına dair geniş matematik topluluğu kabulünün yerine...
- NYU matematikçisi Tristan Buckmaster’ın öncelik ve atıf itirazları sürüyor; OpenAI bu iddialara karşı çıkıyor.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What happened when OpenAI declined to claim Justin Sun’s $1 million prize for its reported AI-generated solution to the three-dimensional Na. Article summary: OpenAI did not claim Justin Sun’s inaugural $1 million prize, even though Sun’s program listed its Navier–Stokes submission as the top award. The company’s reported result is significant but remains a claim under scrutin. Topic tags: general, news, general web, academic, government. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, ch
OpenAI’nin bildirdiği Navier–Stokes sonucu, Justin Sun’ın yeni matematik ödülündeki ilk büyük ödüle layık görüldü. Ancak şirketin 1 milyon dolarlık ödülü henüz talep etmediği bildirildi. Bunun nedeni yalnızca “yapay zekâ bir kanıt buldu” başlığından ibaret değil: olay, formal doğrulamanın, bağımsız hakem değerlendirmenin, bilimsel önceliğin ve kredilendirmenin yapay zekâ çağında ne anlama geldiğine dair bir sınav niteliğinde. 3
6
8
9
OpenAI ne bulduğunu söylüyor?
OpenAI, 8 Eylül 2026’da üç boyutlu sıkıştırılamaz Navier–Stokes denklemleriyle ilgili analitik bir kanıt metni ve Lean dilinde formalizasyon yayımladı. Şirket, dışarıdan uygulanan düzgün bir kuvvet altında başlangıçta düzgün ve hareketsiz olan bir akışkanın sonlu sürede tekillik geliştirebileceğini gösterdiğini belirtiyor. 6
Clay probleminin tanımındaki terimlerle bu iddia, zorlanmış karşı örnek yoluna, yani C ve D durumlarına ilişkin. Zorlanmamış küresel düzenlilik seçenekleri olan A ve B durumlarını ise kanıtlamıyor. Bu ayrım önemli: “Navier–Stokes çözüldü” ifadesi, zorlanmış bir tekillik inşası ile problemin okuyucuların aklındaki her yorumunun tümüyle ve toplulukça kabul edilmiş çözümü arasındaki farkı gizleyebilir. 6
18
19
Kanıt nasıl üretildi ve kontrol edildi?
OpenAI, henüz eğitimi süren dahili modelini problem üzerinde 28 Ağustos’ta denemeye başladığını, 1 Eylül sonrasında çalışmayı büyüttüğünü söylüyor. Şirkete göre kod ve önbelleğe alınmış web materyallerine erişebilen eşgüdümlü ajan grupları kullanıldı; Navier–Stokes çalışmasında yaklaşık 10.000 eşzamanlı ajan yer aldı. 6
Haberlere göre keşif çalışması yaklaşık 88 saat sürdü; ardından GPT-6 Astra kanıtı Lean’de formalleştirmek ve denetlemek için yaklaşık 17 saat çalıştı. OpenAI, sonucu ilk bulan sistemin GPT-6 Astra’dan belirgin biçimde daha yetenekli bir dahili model olduğunu vurguluyor. Buna göre Astra’nın rolü, ilk matematiksel keşiften ziyade formalizasyon ve doğrulamayla ilişkiliydi. 6
8
Bu fark yalnızca ürün adı meselesi değil. Lean doğrulaması, formal sistemde kodlanan varsayımlardan belirli bir teoremin çıktığına dair güçlü kanıt sunabilir. Fakat kodlanan varsayımların Clay tanımındaki bütün şartları tam olarak kapsayıp kapsamadığını tek başına kararlaştırmaz; problemin kapsamı ve yorumuna ilişkin dışarıdan matematiksel incelemenin yerini de tutmaz.
Clay neden kendi 1 milyon dolarlık ödülünü vermedi?
Clay Mathematics Institute’un Millennium Ödülü, Sun’ın ödülünden tamamen ayrı. Clay, 11 Eylül’de OpenAI’nin duyurusunu yerleşik kuralları çerçevesinde değerlendirdiğini ve sürecin kasıtlı olarak aceleye getirilmediğini açıkladı. 1
Clay’in Millennium Ödülü kuralları, önerilen çözümün uygun bir yayında yayımlanmasını, yayından sonra en az iki yıl geçmesini ve küresel matematik topluluğunda genel kabul görmesini şart koşuyor. Dolayısıyla Lean kodunun bildirildiği gibi çalışması, sonucu hemen Clay Ödülü’ne dönüştürmez.
Bugünkü pratik tablo açık: OpenAI kamuya açık bir iddia ortaya koydu ve formalizasyon malzemesi yayımladı; ancak Clay Mathematics Institute bunu Millennium Ödülü kapsamında tanımış değil. Bağımsız matematikçilerin analitik kanıtı, formalizasyonu ve sonucun ilgili problem koşullarını karşılayıp karşılamadığını incelemesi gerekiyor. 1
6
Justin Sun Ödülü neyi ödüllendiriyor?
Justin Sun, ödülünü 16 Eylül’de temel araştırmalar ve makineyle formal doğrulama alanındaki atılımlar için merkeziyetsiz bir akademik ödül programı olarak duyurdu. İlk ödül listesi 66 matematik problemini kapsıyordu ve OpenAI’nin Navier–Stokes iddiası en yüksek tutar olan 1 milyon dolarlık ödüle layık görüldü. 3
14
Program, Clay’in yaklaşımına göre daha geniş ve daha hızlı işleyen bir öncüle dayanıyor: makine tarafından doğrulanabilir kanıtları tanımak üzere tasarlandı; insan araştırmacılara, yapay zekâ sistemlerine ve insan-yapay zekâ iş birliklerine açık olarak sunuluyor. 4
14
Bu nedenle söz konusu ödül, kendi uygunluk kuralları olan özel bir ödül. Matematik topluluğunun doğruluk, öncelik veya kalıcı önem konusunda uyguladığı standartların yerine geçmiyor. Sun’ın ölçütleriyle kazanan ilan edilmek, Clay’i ya da diğer araştırmacıları sonucu kesinleşmiş saymaya zorlamaz.
Para neden talep edilmedi?
Ödülün kayıt deposuna dayanan haberlere göre OpenAI, ödülü almaya uygun olarak listelenmiş olsa da ödül hâlâ talep edilmemişti. Haberler, bu tercihi kanıtın kökeni üzerindeki çözümlenmemiş anlaşmazlığa ve OpenAI’nin o aşamada Clay ödülünü takip etmeme kararına bağladı. 8
9
İncelenen materyallerde OpenAI, ödülü neden reddettiğini ya da talebi neden ertelediğini kesin biçimde kamuoyuna açıklamadı. Bu yüzden ihtiyatlı yorum şu sınırda kalmalı: Kanıtın kapsamı, kaynağı ve kredilendirilmesi tartışmalı iken özel bir ödülü almak, mesleki doğrulama süreci tamamlanmadan bir kesinlik veya öncelik iddiası olarak görülebilirdi.
Atıf anlaşmazlığı, bilimsel meselenin de parçası
New York Üniversitesi’nden matematikçi Tristan Buckmaster, OpenAI’nin çalışmasının kamuya açık olmayan araştırmalardan yararlandığını ileri sürdü. OpenAI bu iddiaya itiraz ediyor. Mevcut haberler, tartışmanın bağımsız ve kesin bir çözüme ulaştığını göstermiyor. 1
20
Nature, bu olayın yapay zekâ şirketlerinin atıf ve kredilendirme konusunda araştırma topluluğuyla daha yakın çalışması gerektiğini ortaya koyduğunu savundu. Yapay zekâ destekli matematikte sistemler fikirleri olağanüstü ölçekte tarayabilir, birleştirebilir ve formalleştirebilir; buna karşılık belirli bir içgörünün kaynağını sonradan yeniden kurmak zor olabilir. 17
20
Bu durum formal kanıtın yanlış olduğunu göstermez. Ancak doğruluk ile kredi ayrı meselelerdir; büyük bir matematik alanını etkileyebilecek bir atılımda ikisi de önem taşır.
Şimdiki değerlendirme
OpenAI’nin iddiası olağanüstü: Büyük ölçekli bir ajan iş akışıyla bulunmuş ve Lean formalizasyonuyla desteklenmiş, Navier–Stokes’un önemli bir formülasyonunda sonlu zamanda tekillik inşası bildiriyor. 6
18
19
Yine de bu sonuç henüz Clay tarafından tanınmış bir Millennium Ödülü çözümü olarak nitelenmemeli. Sun’ın 1 milyon dolarlık ödülü bildirildiği üzere talep edilmedi, Clay’in incelemesi ayrı ve çok daha yavaş ilerleyen bir süreç, ayrıca atıf anlaşmazlığı çözülmüş değil. 1
8
9
20
Bir sonraki belirleyici eşikler; matematiğin bağımsız incelemesi, formal ifadenin hedeflenen problem koşullarıyla birebir örtüştüğünün dikkatle kontrol edilmesi ve öncelik ile yazarlığa dair güvenilir bir açıklama yapılması olacak. O zamana kadar en güçlü tanım şu: makineyle kontrol edilebilir bir bileşeni olan, son derece önemli bir yapay zekâ üretimi matematiksel iddia; ancak henüz nihai uzlaşıya ulaşmış bir sonuç değil.
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "OpenAI, Justin Sun’ın 1 Milyon Dolarlık Navier–Stokes Ödülünü Neden Almadı?"?
OpenAI, Justin Sun’ın 1 milyon dolarlık Navier–Stokes ödülü için uygun görünse de 17 Eylül 2026 itibarıyla ödülü talep etmemişti.
What are the key points to validate first?
OpenAI, Justin Sun’ın 1 milyon dolarlık Navier–Stokes ödülü için uygun görünse de 17 Eylül 2026 itibarıyla ödülü talep etmemişti. Lean ile doğrulanmış bir formal kanıt, kodlanan öncüllerden teoremin çıktığını güçlü biçimde gösterir; ancak bunun Millennium Problemi’nin tüm koşullarını karşıladığına dair geniş matematik topluluğu kabulünün yerine...
What should I do next in practice?
NYU matematikçisi Tristan Buckmaster’ın öncelik ve atıf itirazları sürüyor; OpenAI bu iddialara karşı çıkıyor.
Sources
coinpost.aiJustin Sun launches $1 million math prize and names first winners
openai.comOn the Navier–Stokes Millennium Prize Problem
yellow.comOpenAI Leaves $1M Justin Sun Math Prize Unclaimed After Navier-Stokes Win | Yellow
yahoo.comOpenAI Rejects Another Math Prize, This Time Justin Sun's ...
nature.comDaily briefing: OpenAI claims a huge maths breakthrough