Futures
Access hundreds of perpetual contracts
TradFi
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
Launch
CandyDrop
Collect candies to earn airdrops
Launchpool
Quick staking, earn potential new tokens
HODLer Airdrop
Hold GT and get massive airdrops for free
Pre-IPOs
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
Promotions
AI
Gate AI
Your all-in-one conversational AI partner
Gate AI Bot
Use Gate AI directly in your social App
GateClaw
Gate Blue Lobster, ready to go
Gate for AI Agent
AI infrastructure, Gate MCP, Skills, and CLI
Gate Skills Hub
10K+ Skills
From office tasks to trading, the all-in-one skill hub makes AI even more useful.
GateRouter
Smartly choose from 30+ AI models, with 0% extra fees
DeepSeek V4 Achieves Perfect Score of 120 at Putnam-2025, Matching Axiom in Formal Mathematical Reasoning
According to monitoring by Dongcha Beating, DeepSeek V4 has released two sets of formal mathematical reasoning evaluations. The Putnam Competition is the highest-level undergraduate mathematics competition in North America. In the Practical Regime, V4-Flash-Max scored 81.00 points on the Putnam-200 Pass@8 benchmark, utilizing the open-source tool LeanExplore and constrained sampling. In comparison, Seed-2.0-Prover scored 35.50, while both Gemini 3 Pro and Seed-1.5-Prover scored 26.50. In the Frontier Regime, V4 employed a hybrid formal-informal reasoning approach, initially generating candidate natural language solutions through informal reasoning, which were then filtered through self-validation before being rigorously proven by a formal agent in Lean. V4 achieved a perfect score of 120/120 at Putnam-2025, tying for first place with Axiom, and surpassing Seed-1.5-Prover’s score of 110/120 and Aristotle’s score of 100/120. The Frontier Regime utilized large-scale computational extensions, while the results in the Practical Regime better reflect conventional deployment capabilities.