OpenAI’ın Gizli Matematik Modeli İnsanları Doğrulayıcı Konumuna İndirgedi

Özet (TL;DR)

• OpenAI’ın henüz yayınlanmamış “Navier-Stokes” modeli, en önemli 500 açık matematik probleminin 90’ını çözerek insanları doğrulayıcı konumuna indirgedi.
• Anthropic, Mythos 5.1 ve Opus 5.5 modellerini yetkili ofansif siber güvenlik kırmızı takım (red-team) uzmanlarına açıyor.
• Mistral’in 1 trilyon parametreli devasa “Le Chonk” modelinin lansmanı, OpenAI’ın matematik gövde gösterisinin gölgesinde kaldı.
• Google DeepMind, metin, kod, görsel, video ve sesi tek bir açık Apache 2.0 çatısı altında birleştiren EmbeddingGemma 2’yi yayınladı.
• Craig McLuckie ve Joe Beda, Stacklok’un 17,5 milyon dolarlık yeni yönelimiyle yapay zeka ajanlarına Kubernetes tarzı orkestrasyon getiriyor.
• Tek başına çalışan 18 yaşındaki bir kurucu, beş araçla 60 bin dolara ulaşarak dağıtımın mühendislikten daha üstün olduğunu kanıtladı.
• İnsan matematikçiler, kaşiflikten doğrulayıcılığa indirgendi.

OpenAI bu hafta herkese açık bir GitHub deposuna sessizce 722 matematik makalesi yükledi. Şirket içi adı “Navier-Stokes” olan modeli yayınlamadılar bile, yalnızca çıktıları paylaştılar. Birbiriyle ilişkili 372 sonuç ailesi halinde gruplandırılan bu yayınlanmamış sınır model, Quasi-Riemann Hipotezi de dahil olmak üzere en önemli 500 açık matematik probleminin 90’ını çözdü. Sektörün geri kalanı parametre sayılarını tartışırken ve çok düşük bir işlem gücüyle elde edilen bu başarı, matematikte son yüz yılın en önemli dönüm noktası oldu.

Bilimdeki darboğaz artık yeni çığırlar açmak değil, bunları doğrulayacak yeterli sayıda nitelikli insan bulmak. Yayınlanmamış bir model bir asırlık matematik ödevini kapalı kapılar ardında tek başına bitirebiliyorsa, akademik hakemli değerlendirme sistemi işlevsel olarak ölmüş demektir. MIT’nin tüm matematik bölümünden daha hızlı düşünen bir makineyi hakem denetiminden geçiremezsiniz.

Daha iyi bir kodlama yardımcısı eğitmeye çalışan her geliştiricinin buna bakıp paniğe kapılması gerekiyor. OpenAI yalnızca daha iyi bir otomatik tamamlama aracı inşa etmiyor, evrenin temel mantığını çözen sistemler kuruyor. Laboratuvarlarında kilitli tutulan teknoloji ile girişiminizi üzerine inşa ettiğiniz araçlar arasındaki fark, artık kapanmaz bir uçuruma dönüştü.

Günün Mücadelesi

OpenAI’ın Gizli Matematik Modeli İnsanları Doğrulayıcı Konumuna İndirgedi

Yazan: Wren Calloway · The Daily

Yayınlanmamış bir modelle en önemli 500 açık matematik probleminin 90’ını çözmek, keşif sorununun aşıldığını kanıtlıyor. Geriye kalan tek sorun insan doğrulaması.

OpenAI, Navier-Stokes adlı şirket içi sınır modelinden çıkan 722 matematik makalesini herkese açık bir GitHub deposunda yayınladı. Paylaşım, bulguları birbiriyle ilişkili 372 sonuç ailesi altında topluyor. Navier-Stokes, Quasi-Riemann Hipotezi dahil en önemli 500 açık matematik probleminin 90’ını başarıyla çözdü ve bunun matematikte son 100 yılın en önemli olayı olduğu yönündeki iddiaları beraberinde getirdi.

Modelin kendisi hala yayınlanmadı; yani OpenAI çıktıları ortaya dökerken üretici modeli kendine saklıyor. Bu başarının çok düşük bir işlem gücüyle elde edilmesi, akıl yürütme atılımları için devasa sunucu kümelerinin şart olduğu yönündeki anlatıyı tamamen altüst etti.

Akademik dünya buna hiç hazırlıklı değil. Darboğaz, insan keşfinden insanın bu bilgiyi özümsemesine kaydı. Araştırma için araçlar geliştiriyorsanız, odağınızı hemen doğrulama ve ayrıştırmaya çevirin; çünkü makineler keşif konusunda bizi çoktan geride bıraktı.