OpenAI Navier-Stokes kanıtını Lean 4 ile doğruladı
OpenAI, akışkanlar mekaniğindeki Navier-Stokes denklemlerine dair uzun süredir çözülemeyen bir problemi çözdüğünü açıkladı. Araştırma ekibi, geleneksel akademik metnin yanında çalışmanın Lean 4…
50 haber bu etiketle işaretlenmiş
OpenAI, akışkanlar mekaniğindeki Navier-Stokes denklemlerine dair uzun süredir çözülemeyen bir problemi çözdüğünü açıkladı. Araştırma ekibi, geleneksel akademik metnin yanında çalışmanın Lean 4…
OpenAI, uygulamalara yönetilen bir Codex ortamı üzerinden bulut tabanlı otonom aracılar geliştirme imkanı tanıyan Agents API aracını kullanıma açtı. Yeni API oturumların yönetimini, orkestrasyonu,…
Geliştirici Armin Ronacher, OpenAI'ın yeni GPT-6 Astra modelini otonom bir yazılım fabrikası deneyinde test etti. Modelin iş akışını ve bağlam yönetimini tamamen kendi başına yürüttüğü 35 saatlik…
Eski Anthropic araştırmacısı 27 yaşındaki Jacob Coxon, şirketten istifa ettikten sonra yapay zekanın kontrol edilemez riskler barındırdığını belirterek geniş çaplı bir medya turuna başladı. 2023…
Matematikçi Andreas Thom, OpenAI modellerinin matematiksel keşiflerinde araştırmacıların yayımlanmamış çalışmalarından ve ChatGPT etkileşimlerinden faydalandığını iddia ederek şirketi şeffaf…
OpenAI, Milenyum Ödülü problemlerinden Navier-Stokes denkleminin çözümüne ulaştığını açıkladı. Matematikçi Peter Woit, Columbia Üniversitesi bünyesindeki kişisel blogunda yayımladığı değerlendirmede,…
Microsoft ile OpenAI arasındaki ortaklık kamuoyu önünde güçlü bir ittifak olarak sunulsa da şirketler arasındaki ticari sözleşmeler uzun vadeli bir ayrışmaya işaret ediyor. Microsoft, 13,75 milyar…
Yapay zeka araştırmacısı Jacob Coxon, OpenAI ve Anthropic bünyesinde geçirdiği üç yıllık ön eğitim çalışmalarının ardından Anthropic'teki görevinden istifa ettiğini açıkladı. Coxon, 9 Eylül 2026…
OpenAI ve Anthropic gibi önde gelen yapay zeka şirketleri, yeni nesil modellerin geliştirme ve araştırma süreçlerini doğrudan mevcut yapay zeka sistemlerine devretmeye hazırlanıyor. Kendi kendini…
Daha önce OpenAI bünyesinde çalışan ve son olarak Anthropic'te görev yapan yapay zeka araştırmacısı Jacob Coxon, şirketlerin güvenlik risklerini göz ardı ettiğini belirterek istifa etti. Coxon,…
OpenAI, yayımlanmamış bir yapay zeka modelini kullanarak Milenyum Ödüllü Problemler arasında yer alan Navier-Stokes varlık ve pürüzsüzlük problemini çözdüğünü duyurdu. Şirketin otonom yazılım…
OpenAI ve Anthropic bünyesinde son üç yıldır ön eğitim araştırmacısı olarak çalışan bir uzman, yapay zeka güvenliği konusundaki riskleri gerekçe göstererek Anthropic firmasındaki görevinden…