Tag: Mathematics

1. Lab AI klaim modelnya membantah sebuah asumsi inti teori kompleksitas (techcrunch.com)
   AI · 5 hari lalu · 29 Oktober 2026
2. Agen AI bantu formalisasi Klasifikasi Grup Sederhana Berhingga di Lean (cfsg.axiommath.ai)
   AI · 6 hari lalu · 28 Oktober 2026
3. Matematikawan bertanya: AI membawa zaman keemasan atau zaman kegelapan bagi matematika (terrytao.wordpress.com)
   AI · 2 minggu lalu · 19 Oktober 2026
4. Bukti matematika OpenAI belum memenuhi standar para matematikawan (techcrunch.com)
   AI · 3 minggu lalu · 9 Oktober 2026
5. OpenAI terbitkan 722 manuskrip matematika hasil AI (github.com)
   AI · 3 minggu lalu · 7 Oktober 2026
6. Matematikawan bentuk kelompok penasihat di tengah klaim OpenAI atas 100 soal terpecahkan (terrytao.wordpress.com)
   AI · 1 bulan lalu · 22 September 2026
7. Seperempat preprint matematika kini mengakui memakai AI (epoch.ai)
   AI · 1 bulan lalu · 20 September 2026
8. Seorang programer memakai agen AI untuk membuktikan konjektur matematika terbuka (overreacted.io)
   AI · 1 bulan lalu · 19 September 2026
9. OpenAI mengklaim bukti Navier-Stokes, seorang matematikawan menuduh curang (techcrunch.com)
   AI · 1 bulan lalu · 9 September 2026
10. Agent dari model berbeda bekerja sama dan pecahkan rekor matematika baru (arxiv.org)
    AI · 2 bulan lalu · 29 Agustus 2026
11. Keunggulan matematika AI mungkin soal memori, bukan penalaran (davidepiffer.com)
    AI · 2 bulan lalu · 16 Agustus 2026
12. Model OpenAI patahkan dugaan unit-distance Erdős 1946 (openai.com)
    AI · 5 bulan lalu · 20 Mei 2026
13. Gemini Deep Think pecahkan problem matematika terbuka dan tembus ICLR (deepmind.google)
    AI · 8 bulan lalu · 11 Februari 2026

← semua tag