Pay with

USD

Supports Visa, Mastercard, SEPA & more

Flexible trading, zero fees

Use your crypto for payments worldwide

Basic

Trade crypto freely

Magnify your profit with leverage

Convert & Auto-Invest

Trade any size with no fees and no slippage

Get exposure to leveraged positions simply

Pre-Market Trading

Trade new tokens before listing

Advanced

Trade on-chain with Gate Wallet

Smart access to new on-chain tokens

Smart strategies with automated trading

Follow expert trading strategies

CrossEx Trading

One margin balance, shared across platforms

Access hundreds of perpetual contracts

One platform for global traditional assets

Trade European-style vanilla options

Unified Account

Maximize your capital efficiency

Introduction to Futures Trading

Learn the basics of futures trading

Join events to earn rewards

Use virtual funds to practice risk-free trading

Stock CFD Derivatives

Access real US stocks and ETFs

Trade quality Hong Kong-listed stocks

Real Korean stocks and top assets

High leverage, 24/7 trading

Tokenized Stocks

Backed by real stock assets

Unlock full access to global stock IPOs

Mint GUSD for Treasury RWA yields

Stocks Activities

Trade Popular Stocks and Unlock Generous Airdrops

Launch

Collect candies to earn airdrops

Quick staking, earn potential new tokens

Hold GT and get massive airdrops for free

Unlock full access to global stock IPOs

Trade on-chain assets and earn airdrops

Earn futures points and claim airdrop rewards

Investment

Earn interest with idle tokens

Auto-invest on a regular basis

Dual Investment

Profit from market volatility

Earn rewards with flexible staking

Pledge one crypto to borrow another

One-stop lending hub

Premium wealth growth plans

Take control of your financial future

Top-tier quant strategies

Stake cryptos to earn in PoS products

No-liquidation leverage

Mint GUSD for Treasury RWA yields

Post, share, and explore crypto trends

Live crypto market analysis

Chat with crypto traders

What is happening in crypto

More

Promotions

Activity Center

Participate in activities to earn rewards

Invite friends to earn referral rewards

Affiliate Program

Earn exclusive commission rewards

Grow influence and earn airdrops

Real-time platform updates

Crypto industry articles

Huge fee discounts

Asset Management

One‑stop asset management solution

Enterprise digital asset solutions

Developers (API)

Connects to the Gate application ecosystem

OTC Bank Transfer

Deposit and withdraw fiat

Generous API rebate mechanisms

AI

Your all-in-one conversational AI partner

Use Gate AI directly in your social App

Gate Blue Lobster, ready to go

Gate for AI Agent

AI infrastructure, Gate MCP, Skills, and CLI

Gate Skills Hub

From office tasks to trading, the all-in-one skill hub makes AI even more useful.

Others

Find FAQs and help guides

Learn about crypto investing

Grow with the champions

Proof of Reserves

Gate promises 100% proof of reserves

Keep your assets secure

OpenAI's GPT-5.6 Uses 64 Agents to Prove 50-Year Math Conjecture in Under One Hour

AI Industry News AI Agent

2026-07-11 01:29:22

According to OneMillion_AI, OpenAI's GPT-5.6 Sol Ultra deployed 64 sub-agents to provide a formal proof of the Cycle Double Cover Conjecture—a mathematical problem posed approximately 50 years ago—in under one hour. OpenAI has published the complete prompt and proof in full, and open-sourced a Lean formalized version. The code has passed verification through the Lean kernel. However, this remains OpenAI's published result; the mathematics community has not yet completed independent peer review, so the proof is not yet officially recognized as a definitive solution.

Disclaimer: The information on this page may come from third-party sources and is for reference only. It does not represent the views or opinions of Gate and does not constitute any financial, investment, or legal advice. Virtual asset trading involves high risk. Please do not rely solely on the information on this page when making decisions. For details, see the Disclaimer.

Related News

Apple Sues OpenAI for Trade Secret Misappropriation on July 10, Alleging Former Executive Involvement

B.AI Integrates OpenAI GPT-5.6 Model Suite Into API Network

OpenAI Launches GPT-5.6 Series With Three Models; Sol Improves Efficiency by 54%, Terra Cuts Pricing in Half

OpenAI Rolls Out ChatGPT Work for Apps and Files on July 10

OpenAI Announces Full Rollout of GPT-5.6 Series Models and ChatGPT Work Agent on July 10

In-Depth Analysis

GPT-5.6 was “held” by the U.S. government for 12 days before launching on Sol, and the review criteria were a black box.

Market Whisper07-10 03:00

OpenAI Releases ChatGPT Work for Extended Task Automation

Oliver Grant07-09 21:40

Perplexity Fine-Tunes Chinese GLM 5.2 Model to Match Claude Opus at One-Third Cost

Oliver Grant07-09 20:48

Comment

0/400

No comments