Buy Crypto
Pay with
USD
USD
Buy & Sell
Hot
Supports Visa, Mastercard, SEPA & more
P2P
0 Fees
Flexible trading, zero fees
Gate Card
Use your crypto for payments worldwide
Markets
Trade
Basic
Advanced
Futures
Futures
Access hundreds of perpetual contracts
CFD
Gold
One platform for global traditional assets
Options
Hot
Trade European-style vanilla options
Unified Account
Maximize your capital efficiency
Demo Trading
Introduction to Futures Trading
Learn the basics of futures trading
Futures Events
Join events to earn rewards
Demo Trading
Use virtual funds to practice risk-free trading
Stocks
CFD
U.S. stock CFD derivatives
US Stocks
Access real US stocks and ETFs
HK Stocks
Trade quality Hong Kong-listed stocks
Stock Futures
High leverage, 24/7 trading
Tokenized Stocks
Backed by real stock assets
IPO Access
Unlock full access to global stock IPOs
GUSD
Mint GUSD for Treasury RWA yields
Stocks Activities
Trade Popular Stocks and Unlock Generous Airdrops
Earn
Launch
CandyDrop
Collect candies to earn airdrops
Launchpool
Quick staking, earn potential new tokens
HODLer Airdrop
Hold GT and get massive airdrops for free
IPO Access
Unlock full access to global stock IPOs
Alpha Points
Trade on-chain assets and earn airdrops
Futures Points
Earn futures points and claim airdrop rewards
Investment
Square
Square
Post, share, and explore crypto trends
Live
moments live
Live crypto market analysis
Chat
Chat with crypto traders
News
What is happening in crypto
flower_head
More
Promotions
AI
Others
TradFi
2026 World Cup
Rewards
Square
Latest
Hot
News
Profile

MiniMax open-source mathematical proof framework MaxProof, using evolutionary search to push M3 over the gold medal line

CoinNetwork
robot
Abstract generation in progress
CoinWorld news: MiniMax developer relations lead Ryan Lee announced that the test-time scaling and extension framework MaxProof for large-model mathematical proofs has officially been open-sourced, along with a related technical paper. MaxProof rebuilds mathematical proofs in the reasoning phase into an evolutionary search system, achieving reasoning scaling through verification, repair, and elimination mechanisms. Supported by the MaxProof framework, the MiniMax-M3 model scored 35 and 36 points respectively (out of 42) on the test sets of the International Mathematical Olympiad (IMO 2025) and the American Mathematical Olympiad (USAMO 2026), hitting the gold medal cutoff score in both cases. By integrating the three expert capabilities of generation, verification, and repair, this framework builds a multi-layered defense verification mechanism, successfully transforming the model’s best mathematical proofing capabilities into more stable performance.
View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Reward
  • 4
  • 2
  • Share
Comment
Add a comment
Add a comment
LateFeeLeo
· 4h ago
Do you have a link to the technical paper? I want to focus on the ablation experiments of the repair strategies.
View OriginalReply0
ReflectionsOnTheStreetCorner
· 4h ago
The idea of combining evolutionary search with the three capabilities is interesting; it seems much more efficient than pure sampling, saving computational power.
View OriginalReply0
QuantsAndCats
· 4h ago
MiniMax-M3’s performance is indeed impressive, but IMO’s gold medal cutoff changes every year—so after the official release of 2025 data, we can pop the champagne.
View OriginalReply0
SlippageSailor
· 4h ago
Is it open source? I'm going to check out the code to see how the verification module is designed.
View OriginalReply0

  • Pinned

Sitemap