Verifikasi - perbaikan - penghapusan, rangkaian pencarian evolusi ini jauh lebih pintar daripada penumpukan parameter secara brutal, hasil MiniMax-M3 ini memang bisa diandalkan.

Lihat Asli
CoinNetwork
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.
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
  • Hadiah
  • Komentar
  • Posting ulang
  • Bagikan
Komentar
Tambahkan komentar
Tambahkan komentar
Tidak ada komentar
  • Disematkan