50 haber bu etiketle işaretlenmiş
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…
New York Üniversitesinden Tristan Buckmaster ve Anthropic bünyesinde çalışan Levent Alpöge, yapay zeka modellerinin desteğiyle Milenyum Problemleri arasında yer alan Navier-Stokes denklemlerinin…
Dummit ve Foote tarafından yazılan klasik Abstract Algebra kitabındaki ilk alıştırma, biçimsel kanıtlama aracı Rocq ile dijital ortama aktarılırken matematiksel bir açık içerdiği belirlendi. İlgili…
California Institute of Technology (Caltech), araştırma düzeyindeki matematik problemlerine odaklanan ilk maraton etkinliği Caltech Mathathon'u duyurdu. 30 Ekim-1 Kasım tarihleri arasında…
Açık kaynaklı MathKernel projesi, büyük dil modellerinin ve yazılımların matematiksel iddiaları doğruluk dereceleriyle işlemesini sağlayan çok motorlu bir matematik çekirdeği olarak yayımlandı.…
Hunan Üniversitesi araştırmacıları Wang ve Wu, yaklaşık 1974 yılından bu yana çözülemeyen Küresel Hadwiger Varsayımı'nı OpenAI Codex desteğiyle kanıtladıklarını duyuran bir önbaskı yayımladı.…
Matematikçi Terence Tao, Navier-Stokes küresel düzenlilik problemindeki kritik eşiği biçimlendiren yeni bir çalışma yayımladı. arXiv üzerinden paylaşılan ve Journal of the American Mathematical…
Matematikçi Klaus Steffen tarafından tasarlanan Steffen çokyüzlüsü, yüzlerinin şeklini ve alanını değiştirmeden bükülebilen esnek çokyüzlülerin temel örnekleri arasında yer alıyor. Dışbükey olmayan…
Müzik perdeleri ile hesap cetvelleri arasındaki matematiksel ilişkiyi inceleyen teknik bir analiz, gitarların bir hesap aracı olarak kullanılıp kullanılamayacağını test etti. Perdelerin klavye…
Yapay zeka şirketi Anthropic, dahili modellerinden birini ve prove2.me platformunu kullanarak Fermat'ın Son Teoremi'nin Lean programlama dilinde tam bir biçimsel kanıtını üretti. Gelişme, Freek…
Anthropic, matematik dünyasının en bilinen problemlerinden Fermat'nın Son Teoremi'nin Lean 4 üzerinde bilgisayarca doğrulanmış tam kanıtını açık kaynak olarak yayımladı. Mathlib kütüphanesi üzerine…
Anthropic araştırmacıları, Pierre de Fermat tarafından 1637 yılında ortaya atılan ve 1995 yılında Andrew Wiles tarafından kanıtlanan Fermat'nın Son Teoremi'nin bilgisayar destekli ilk tam biçimsel…