157 haber bu etiketle işaretlenmiş
OpenAI, 8 Eylül 2026 tarihinde akışkan hareketlerini tanımlayan ve Milenyum Ödüllü Problemler arasında yer alan Navier-Stokes denklemlerinin belirli kısımlarında yapay zeka ajanlarının ilerleme…
İnsan Matematiği Derneği (AHM), OpenAI'ın 6 Ekim 2026 tarihinde önemli matematik problemlerine çözümler içerdiği öne sürülen kapsamlı bir belge havuzu yayımlamasına yönelik kınama açıklaması yaptı.…
OpenAI, matematik araştırmaları deposunda yer alan üç akademik makaleyi içeriklerinde tespit edilen temel bir hata nedeniyle geri çektiğini açıkladı. Geri çekilen makalelerin ilki olan sekiz boyutlu…
Association for Human Mathematics (AHM), OpenAI'ın 6 Ekim 2026 tarihinde kamuoyuyla paylaştığı ve önemli matematik problemlerinin çözümlerini içerdiği öne sürülen kapsamlı belge arşivine tepki…
Mathematics Stack Exchange platformunda 2013 ile 2015 yılları arasında en zor integral problemlerine hiçbir işlem adımı göstermeden doğrudan doğru sonuçlar yazan Cleo rumuzlu kullanıcının kimliği…
OpenAI, kurum içi bir yapay zeka modelinin ürettiği 372 matematiksel sonucu GitHub platformunda yayımladı. Kanıtların neredeyse tamamı, tek bir aracıya gönderilen tek bir komut ve her sonuç için…
Brown hareketi, sıvı içerisindeki mikroskobik parçacıkların görünmez moleküler çarpmalarla sergilediği rastgele konum değişimlerini açıklayan temel bir stokastik süreç olarak kabul ediliyor. Robert…
OpenAI, matematik dünyasında uzun süredir açık duran 372 önemli probleme yönelik yapay zeka tarafından üretilen çözüm ve kanıtları yayımladı. Danışma kurulunda Timothy Gowers ve Edward Witten gibi…
OpenAI, danışma kurulundaki matematikçilerin tavsiyesi doğrultusunda teorik bilgisayar bilimi ve matematik alanında uzun süredir çözülemeyen 372 açık problemin çözümünü yayımladı. Yayımlanan sonuçlar…
Araştırmacılar, yapay zeka modelleri tarafından üretilen matematiksel metinlerin Lean gibi biçimsel dillere otomatik çevrilmesi sürecinin güvenilirlik sorunları barındırdığını açıkladı. 6 Ekim 2026…
Araştırmacılar, 11 birim karenin daha büyük bir kare içerisine en uygun şekilde yerleştirilmesine ilişkin matematiksel kanıtı Lean 4 etkileşimli teorem kanıtlama aracıyla başarıyla doğruladı.…
OpenAI, henüz kamuya açmadığı yeni büyük dil modelini kullanarak matematik ve teorik bilgisayar bilimi alanındaki açık sorulara yönelik 372 yeni sonuç yayımladı. Şirket, verileri bir GitHub deposunda…