MiniMax kerangka pembuktian matematika sumber terbuka MaxProof, menggunakan pencarian evolusioner untuk mendorong M3 ke garis medali
Berita dari CoinWorld, MaxProof telah membuka kode sumber dan merilis makalah teknologi, sebuah kerangka pengujian untuk pembuktian matematika model besar. Ini mengubah tahap penalaran dalam pembuktian menjadi sistem pencarian evolusi, mengandalkan verifikasi, perbaikan, dan eliminasi untuk memperluas penalaran. Di bawah kerangka ini, MiniMax-M3 mendapatkan skor 35 dan 36 pada set pengujian IMO 2025 dan USAMO 2026 masing-masing, mencapai garis medali emas, kemampuan pembuktian menjadi lebih stabil karena integrasi dari tiga kemampuan: generasi, verifikasi, dan perbaikan.