OpenAI, 8 Eylül’de yaptığı açıklamada, dahili bir modelin yaklaşık 10.000 ajan kullanarak Navier–Stokes problemini çözdüğünü öne sürdü. İki önde gelen matematikçi bu iddiaya açıkça itiraz ediyor.
Öne Çıkanlar:
- Yayınlanmamış bir OpenAI sistemi, Yedi Milyon Ödüllü Problem’den biri için hem yazılı bir ispat hem de Lean ile biçimselleştirilmiş bir kanıt üretti.
- Bir gün önce benzer bir sonuca ulaşan Tristan Buckmaster ve Levent Alpöge, şirketin nasıl aynı yaklaşıma vardığını sorguluyor.
- Terence Tao’ya göre yapay zekâ laboratuvarları, matematiksel içgörüden çok tanıtım amacıyla ünlü açık problemlere yöneliyor.
OpenAI’nin Navier–Stokes İspatına Dair Detaylar
Şirket, başlangıçta durgun ve düzgün bir akışkanın sonlu zamanda tekillik geliştirebileceğini savunan bir teknik rapor ve Lean formalizasyonunu yayınladı. Araştırmacılar, söz konusu dahili sistemi GPT-6 Astra’dan belirgin biçimde daha yetenekli olarak tanımlarken, modelin hâlâ eğitilmekte olduğunu ve performansının yükselmeye devam ettiğini belirtti.
Matematikçiler, 1934’te Jean Leray’nin çözümlerin daha zayıf, genelleştirilmiş bir anlamda var olduğunu göstermesinden bu yana yaklaşık 90 yıldır aynı sorunun peşinde.
OpenAI, modeli 28 Ağustos’ta eğitmeye başladı ve 1 Eylül’de, iki problemin çözüldüğüne dair söylentilerin ardından, sistemi tüm Milyon Ödüllü Problemler’e yönlendirdi. Yöneticiler, gazetecilere yaptıkları açıklamada bilgi işlem faturasının milyonlarca dolar seviyesine çıktığını söyledi.
Ayrıca Oku: Balina Birikimiyle XRP Fiyatı Eylülde Yeniden 1,46 Doları Hedefliyor
Buckmaster ve Bubeck Arasında “Kredi” Gerilimi
Tristan Buckmaster, New York University’de görev yapan bir matematikçi; Levent Alpöge ise kişisel kapasitesiyle çalışan bir Anthropic araştırmacısı. İkili, yaklaşık bir yıldır ilişkili akışkan denklemleri üzerinde çalışıyordu. Diego Cordoba ve Luis Martinez-Zoroa’nın önceki sonuçlarını temel alarak, zorlanmış Euler problemi için Lean ile doğrulanmış ispatları geliştirdiler ve bunları OpenAI kamuoyuna duyurudan bir gün önce yayımladılar.
Buckmaster, kendi özel Codex taslaklarının rakip çalışmayı yönlendirip yönlendirmediğini sorguladı ve eğitim süreciyle ilgili somut bir yanıt alamadığını söyledi.
Buckmaster ayrıca, OpenAI araştırmacısı Sebastien Bubeck’in, çalıştığı şirket nedeniyle Alpöge’nin makaleden çıkarılması için bastırdığını ve ardından onu kamuoyuna konuşmaması konusunda uyardığını ileri sürdü.
Bubeck, bu anlatımı gerçek dışı ve kışkırtıcı diyerek reddetti.
Şirket, ne araştırmacılarının ne de ajanlarının söz konusu ikilinin çalışmasına yayından önce eriştiğini savunuyor; bununla birlikte, kimliksizleştirilmiş kullanım verilerinin modellerin iyileştirilmesinde dolaylı rol oynamış olabileceğini kabul ediyor. OpenAI, problemle bağlantılı 1 milyon dolarlık ödülü talep etmeyi planlamadığını da açıkladı. Yedi problemi 2000 yılında tanımlayan Clay Mathematics Institute ise Navier–Stokes’u hâlen “çözülmemiş” olarak listeliyor.
Terence Tao’dan Yapay Zekâ ve Matematik Eleştirisi
Yaşayan en büyük matematikçiler arasında gösterilen Terence Tao, yapay zekâ şirketlerinin ünlü açık problemleri en yeni sistemlerini pazarlamak için kullandığı konusunda uyarıda bulundu. Tao, bu problemlerin yalnızca “cevapları” için yağmalanmasının, yeni teknikler, yeni sorular ve yeni kuşak matematikçileri doğuran ekosistemi tahrip edebileceğini savunuyor; bu yaklaşımı, bir arkeolojik alanın talan edilmesine benzetiyor.
Çabanın ölçeği kısa sürede büyüdü. Yaklaşık 100 ajan, önce daha basit olan “zorlanmamış Euler” varyantını yaklaşık 50 saatte çözdü. Navier–Stokes ekibi ise, sistemin devreye alınmasından yaklaşık 88 saat sonra, 5 Eylül’de bir yanıt raporladı; bu ispatın Lean ile doğrulanması ise ek 17 saat aldı.
Sıradaki Haber: Bitget, 642.000’den Fazla Kişiye Ulaşan UNICEF Programına Blokzincir Dersleri Ekliyor
