Claude dorong batas zeta ke 67%
Anthropic mengatakan versi riset Claude yang belum dirilis menaikkan batas bawah terkait nol zeta Riemann dari 41,6% menjadi 67,2%.
Berita dan Analisis matematika
4 artikel terverifikasi tentang matematika, produk, dan perkembangan industri.
OpenAI Membuat Astra Menulis Sepuluh Bukti
OpenAI memperkenalkan sinyal riset pertama Astra lewat sepuluh hasil matematika dan ilmu komputer teoretis, lengkap dengan makalah 249 halaman, sertifikat Lean, dan catatan penalaran.
GPT-5.6 hasilkan bukti teori graf
GPT-5.6 hasilkan bukti teori graf. Ringkasan lokal atas fakta terverifikasi dan sinyal industri di baliknya.
DeepSeek Rilis Model Pembuktian Matematika Prover-V2
DeepSeek telah merilis Prover-V2, model khusus untuk pembuktian teorema matematika otomatis dalam sistem verifikasi formal Lean 4, mencapai hasil yang mendekati atau setara dengan yang terbaik saat ini pada tolok ukur miniF2F.