6 artikel terverifikasi tentang Matematika AI, produk, dan perkembangan industri.
AlphaProof Nexus milik Google DeepMind kini terbit di Science: 9 dari 353 soal terbuka Erdős terselesaikan dan 44 dari 492 konjektur OEIS terbukti, dengan catatan kritis dari akademisi Spanyol.
Meta memublikasikan enam paper matematika hasil kolaborasi matematikawan dengan mode penalaran Muse Spark, lima di antaranya menjawab soal yang sebelumnya belum terpecahkan.
Sistem multi-agen Cogentic dari Google menggunakan Gemini untuk memajukan lima soal terbuka di matematika dan teori permainan, diverifikasi pakar.
Terence Tao: komputasi AI kini memburu soal matematika terbuka begitu kabarnya bocor, meratakan tangga kesulitan dan membuat peneliti menutup arah risetnya.
Peraih Fields Medal Terence Tao memperingatkan bahwa bukti matematika buatan AI akan segera membanjiri jalur tinjauan sejawat, sehingga ia mengusulkan aturan baru untuk publikasi dan pengajaran.
An internal general reasoning model found an algebraic-number-theory construction that external mathematicians said is journal-worthy.