157 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…
Danimarka, Kanada ve Japonya'dan altı matematikçi ve bilgisayar bilimci, harita renklendirmede dört rengin yeterli olduğunu savunan ünlü dört renk teoremi için yeni bir bilgisayar destekli kanıt…
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,…
Trail of Bits araştırmacıları, matematiksel kanıt doğrulama dili Lean üzerinde çalışırken sistemin her türlü teoremi sahte biçimde kanıtlamasına yol açan bir yazılım hatası buldu. 4.33.1 sürümüne…
Periyodik olmayan zemin kaplamalarının matematiksel modellemesinde, Roger Penrose tarafından geliştirilen iki parçalı P3 karolarının bilgisayar ortamında hassas şekilde üretimi üzerine yeni bir…
Açık kaynaklı bir araştırma deposunda birim karelerin en küçük kare konteynere yerleştirilmesini inceleyen kare paketleme problemi için yeni matematiksel alt sınırlar açıklandı. Çalışmada n eşittir…
Matematik araştırmalarında büyük dil modellerinin kullanımı yaygınlaşırken, hiçbir kişisel içgörü sunmadan yalnızca bir araca komut vererek elde edilen matematiksel sonuçların akademik değeri…
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…
Amerikan Matematik Topluluğu (AMS) yönetimi, Milenyum Problemleri arasında yer alan Navier-Stokes denklemlerinin çözümüne ilişkin kamuoyuna resmi bir açıklama yayımladı. Kurum, matematik dünyasında…
New York Üniversitesi matematik profesörü Tristan Buckmaster, teorik matematiğin çözülememiş en büyük sorunlarından biri olan Navier-Stokes denklemleri üzerine önemli bir aşama kaydettiğini duyurdu.…
OpenAI, akışkanların hareketini açıklayan 200 yıllık Navier-Stokes denkleminin çözümü için yapay zeka destekli bir kanıt ürettiğini açıkladı. Clay Matematik Enstitüsü'nün 1 milyon dolar ödüllü…
OpenAI, akışkanlar mekaniğinde kullanılan Navier-Stokes denklemlerini dahili bir yapay zeka modeliyle çürüttüğünü duyurdu. Şirket, yedi Milenyum Problemi arasında yer alan bu soruyu çözdüğünü ve…