» Etiket
mathematics
4 yayınMaith: Yapay Zeka Destekli Matematik Araştırması İçin Disiplinli Çerçeve
Maith, Riemann ve P vs NP gibi açık matematik problemlerini yapay zekayla araştırırken katı ispat standartları uygulayan açık kaynaklı bir çalışma alanı.
Tatildeki AI Deneyi Kuantum Mekaniğinde Gerçek Bir Keşfe Dönüştü
Bir güvenlik mühendisi, tatilde Claude AI ile 2008'den kalma açık bir kuantum mekaniği problemini kesin aritmetikle çözdü.
Principia Artificialis: Yapay Zekâ İçin Matematiksel Temel Arayışı
İnsan ve altı yapay zekâ sisteminin birlikte yazdığı, doğrulanabilir kodlarla desteklenen açık YZ matematiği araştırma programı: Principia Artificialis.
CommitBrief — terminalde yapay zekâ destekli kod incelemesi
Staged değişiklikleri, bir commit aralığını ya da bütün bir GitHub pull request'ini yerelde inceleyen sağlayıcı bağımsız CLI. Sıfır telemetri, sunucu yok. Açık kaynak, GPL-3.0.
commitbrief.comYapay Zeka Destekli Resmi Kanıt Arayışında Matematik Araştırmalarını İlerletmek
Yapay zeka destekli resmi kanıt arayışı, matematik araştırmalarında yeni bir dönemi başlatıyor.