Berita dan Analisis AI Matematika

2 artikel terverifikasi tentang AI Matematika, produk, dan perkembangan industri.

Open source 2026-08-22

OpenBMB open-source model formalisasi 8B yang kalahkan 32B

OpenBMB merilis open source pipeline MathForm untuk formalisasi matematika otomatis: model 8B, dataset Lean 4 terverifikasi sekitar 367 ribu contoh, dan kode evaluasi, mengungguli beberapa model formalisasi khusus 32B.

#AI Matematika #Verifikasi Formal #LLM Tiongkok

DeepMind 2026-04-22

AI DeepMind Pecahkan 6 Soal Matematika Level Riset

Aletheia, AI matematika terbaru DeepMind, memecahkan 6 dari 10 soal matematika level riset yang belum dipublikasikan dari tantangan FirstProof, dengan 5 solusi dinilai layak terbit oleh pakar eksternal.

#Google AI #Riset AI #AI Matematika