» Etiket
mathematics
10 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.comMatematikçiler İçin AI Ajanları: Sohbetin Ötesinde Otonom Kanıt Arayışı
Matematikte AI kullanımını sohbet penceresinden otonom ajan iş akışlarına taşıyan Codex/ChatGPT Work tabanlı yöntem ve doğrulama disiplini.
Yapay 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.
Resolution Horizon: AI'nin Gürültüye Aşırı Uydurma Sınırını Bulma
Resolution Horizon, dinamik sistemlerin gürültülü gözlemlerinden matematiksel yapı elde etme sınırlarını inceliyor.
20 Erdős Problemini Paralel Olarak Çözmek
Erdős problemlerinin çözümünde önemli bir adım; 123. problem için yeni bir yaklaşım geliştirildi.
ProofCouncil: Açık Matematik Problemlerini Çözmek İçin Bir LLM Ajanı
ProofCouncil, matematikteki açık problemleri çözmek için tasarlanmış bir LLM ajanıdır.
Lean Teorem Kanıtlayıcısının Tasarımı ve Gelişimi
Lean, matematiksel doğrulama ve yapay zeka alanında önemli bir rol oynuyor. Lean FRO, 2023'te kuruldu.
GPT-5.6'nın 50 Yıllık Matematik Problemini Çözme İddiası
OpenAI, 50 yıllık Cycle Double Cover Conjecture için bir kanıt sundu. Ancak, bu kanıtın doğruluğu henüz doğrulanmadı.