Beli Kripto
Bayar dengan
USD
USD
Beli & Jual
Hot
Mendukung Visa, Mastercard, SEPA, dll.
P2P
0 Fees
Perdagangan fleksibel, nol biaya
Gate Card
Gunakan kripto untuk pembayaran global
Market
Perdagangan
Dasar
Lanjutan
Futures
Futures
Akses ribuan kontrak perpetual
CFD
Emas
Satu platform aset tradisional global
Opsi
Hot
Perdagangkan Opsi Vanilla ala Eropa
Akun Terpadu
Memaksimalkan efisiensi modal Anda
Perdagangan Demo
Pengantar tentang Perdagangan Futures
Bersiap untuk perdagangan futures Anda
Acara Futures
Gabung acara & dapatkan hadiah
Perdagangan Demo
Gunakan dana virtual untuk merasakan perdagangan bebas risiko
Stocks
CFD
Derivatif CFD Saham AS
Saham AS
Akses saham AS dan ETF yang nyata
Saham HK
Perdagangkan saham berkualitas yang terdaftar di Hong Kong
Tokenized Stocks
Didukung oleh aset saham nyata
Saham Futures
Leverage tinggi, perdagangan 24/7
IPO Access
Buka akses penuh ke IPO saham global
GUSD
Mint GUSD untuk Imbal Hasil Treasury RWA
Earn
Peluncuran
CandyDrop
Koleksi permen untuk mendapatkan airdrop
Launchpool
Staking cepat, dapatkan token baru yang potensial
HODLer Airdrop
Pegang GT dan dapatkan airdrop besar secara gratis
IPO Access
Buka akses penuh ke IPO saham global
Poin Alpha
Perdagangkan aset on-chain, raih airdrop
Poin Futures
Dapatkan poin futures dan klaim hadiah airdrop
Investasi
Square
Kotak
Temukan nilai dalam kripto
Live
moments live
Analisis live pasar kripto
Chat
Mengobrol dengan trader kripto
Berita
Apa yang terjadi di kripto
flower_head
Lainnya
Promosi
AI
Lainnya
TradFi
2026 World Cup
Hadiah
Square
Terbaru
Populer
Berita
Profil

MiniMax kerangka pembuktian matematika sumber terbuka MaxProof, menggunakan pencarian evolusioner untuk mendorong M3 ke garis medali

CoinNetwork
robot
Pembuatan abstrak sedang berlangsung
币界网消息，MiniMax开发者关系负责人Ryan Lee宣布，面向大模型数学证明的测试时扩展框架MaxProof已正式开源，并发布了配套技术论文。MaxProof将推理阶段的数学证明重构为演化搜索系统，通过验证、修复与淘汰机制实现推理时缩放。在MaxProof框架的支撑下，MiniMax-M3模型在国际奥林匹克数学竞赛（IMO 2025）与美国数学奥林匹克（USAMO 2026）测试集上分别取得35分与36分（满分42分），双双达到金牌分数线。该框架通过融合生成、验证与修复三大专家能力，构建了多层级防御的验证机制，成功将模型在数学证明上的最佳能力转化为更稳定的表现。
Lihat Asli
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
  • 4
  • 2
  • Bagikan
Komentar
Tambahkan komentar
Tambahkan komentar
LateFeeLeo
· 3jam yang lalu
Apakah ada tautan ke makalah teknis? Saya ingin fokus melihat eksperimen ablation dari strategi perbaikan.
Lihat AsliBalas0
ReflectionsOnTheStreetCorner
· 3jam yang lalu
Evolusi pencarian + ide penggabungan tiga kemampuan ini menarik, rasanya lebih efisien daripada hanya mengumpulkan sampel, menghemat daya komputasi.
Lihat AsliBalas0
QuantsAndCats
· 3jam yang lalu
MiniMax-M3 ini memang bisa dipakai, tapi garis medali emas IMO setiap tahun berfluktuasi, data 2025 akan lebih menarik setelah dirilis resmi
Lihat AsliBalas0
SlippageSailor
· 3jam yang lalu
Sudah open source? Langsung saja cek kode untuk melihat bagaimana modul verifikasi dirancang.
Lihat AsliBalas0

  • Disematkan

peta situs