Anthropic open-source bukti Lean 4 Teorema Terakhir Fermat
Anthropic merilis bukti Teorema Terakhir Fermat dalam Lean 4 yang sepenuhnya diverifikasi mesin, dibangun di atas Mathlib, dan dicek ulang oleh tiga kernel independen.
Berita dan Analisis Matematika
5 artikel terverifikasi tentang Matematika, produk, dan perkembangan industri.
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%.
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.