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
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 40+ AI models, with 0% extra fees
OpenAI purchases unsolved math problem verifier, capable of automatically checking whether AI solutions are correct
ME News Report, April 15 (UTC+8), according to Beating Monitoring, AI research organization Epoch AI disclosed that OpenAI has purchased access to its FrontierMath: Open Problems verifier. FrontierMath: Open Problems is a set of research-level mathematical problems that have yet to be solved by professional mathematicians, each accompanied by a dedicated computer program (verifier). Although no one currently knows the correct answers, once someone (or AI) provides a potential solution, the verifier can automatically check its correctness. After purchasing this access, OpenAI can use the verifier to verify whether the mathematical solutions generated by its models are valid.
The verifier access is open for purchase by any organization, with the main cost used to pay mathematicians, as the process of formulating problems and writing verifiers is very labor-intensive. Epoch AI also set a condition: any party that finds a valid solution through the verifier must notify Epoch AI, and the problem creator and the solver share joint publication rights.
Epoch AI emphasizes that OpenAI previously funded the creation of the original FrontierMath benchmarks (Tiers 1-4), but the Open Problems section was independently developed and owned by Epoch AI, with the pilot phase funded by Schmidt Sciences. (Source: BlockBeats)