Acheter Cryptos

Payer en

USD

Acheter & Vendre

Visa, Mastercard, SEPA et bien plus

Trading flexible, zéro frais

Payez partout avec vos cryptos

Basique

Échangez des cryptos librement

Augmentez vos bénéfices grâce à l'effet de levier

Convertir & Auto-investir

Tradez n’importe quel volume sans frais ni slippage

Soyez facilement exposé à des positions à effet de levier

Trading Pre-Market

Tradez de nouveaux tokens avant le listing

Avancé

Effectuez des transactions on-chain avec Gate Wallet

Accès aux nouveaux tokens on-chain

Stratégies de trading automatisées

Suivez les experts

CrossEx Trading

Un seul solde de marge, partagé par toutes les plateformes

Accédez à des centaines de contrats perpétuels

Une plateforme pour les actifs mondiaux

Tradez des options classiques de style européen

Maximiser l'efficacité de votre capital

Introduction au trading futures

Préparez-vous à trader des contrats futurs

Événements futures

Participez aux événements et gagnez

Utiliser des fonds virtuels pour faire l'expérience du trading sans risque

Produits dérivés CFD sur actions américaines

Accédez à de véritables actions et ETF américains

Tradez des actions des actions de qualité cotées à Hong Kong

Futures sur actions

Effet de levier élevé, trading 24h/24 et 7j/7

Actions tokenisées

Adossé à de véritables actions

Accédez à l'intégralité des introductions en bourse mondiales

Mint GUSD pour des rendements de Treasury RWA

Activités boursières

Tradez des actions populaires et débloquez des airdrops généreux

Lancer

Collecte des candies pour obtenir des airdrops

Staking rapide, Gagnez de potentiels nouveaux jetons

Conservez des GT et recevez d'énormes airdrops gratuitement

Accédez à l'intégralité des introductions en bourse mondiales

Tradez on-chain et gagnez des airdrops

Gagnez des points Futures et réclamez vos récompenses d’airdrop.

Investissement

Gagner des intérêts avec des jetons inutilisés

Investissement automatique

Auto-invest régulier

Double investissement

Profitez de la volatilité du marché

Gagnez des récompenses grâce au staking flexible

Mettre en gage un crypto pour en emprunter une autre

Centre de prêts

Centre de prêts intégré

Gestion de patrimoine VIP

Plans premium de croissance

Gestion privée de patrimoine

Allocation premium d'actifs

Stratégies quantitatives

Stakez des cryptos pour gagner avec les produits PoS.

Effet de levier sans liquidation

USD1 Intérêts sur holding

Sans blocage, tradez & retirez

Découvrir la valeur en crypto

Analyse en temps réel du marché des cryptomonnaies

Discutez avec des traders de cryptomonnaies

Ce qu'il se passe dans le monde de la crypto

Plus

Promotions

Centre d'activités

Participez et gagnez des récompenses

Invitez des amis et gagnez des récompenses

Programme d'affiliation

Obtenez des commissions exclusives

Développez votre influence et gagnez des airdrops

Mises à jour en temps réel

Articles sur le secteur de la crypto

Frais ultra-réduits

Gestion des actifs

Solution complète de gestion des actifs

Solutions d’actifs pour entreprises

Développeurs (API)

Connectez-vous à l'écosystème Gate

Virement Bancaire OTC

Dépôt et retrait fiat

Programme pour les Brokers

Mécanismes de remboursement API avantageux

AI

Votre assistant IA polyvalent pour toutes vos conversations

Utilisez Gate AI directement dans votre application sociale

Gate Blue Lobster, prêt à l’emploi

Gate for AI Agent

Infrastructure IA, Gate MCP, Skills et CLI

Gate Skills Hub

+10K compétences

De la bureautique au trading, une bibliothèque de compétences tout-en-un pour exploiter pleinement l’IA

Autres

Trouver des FAQ et des guides d'aide

Apprenez à investir dans les cryptomonnaies

Grandir avec les champions

Preuve de réserves

Gate promet une preuve de réserves à 100 %

Assurez la sécurité de vos actifs

DeepSeek V4 obtient un score parfait sur Putnam-2025, à égalité avec Axiom en raisonnement mathématique formel

Actualités de l’industrie de l’IA

2026-04-24 04:49:30

Message de Gate News, 24 avril — DeepSeek V4 a publié des résultats issus d’évaluations de raisonnement mathématique formel, obtenant un score parfait de 120/120 sur Putnam-2025, à égalité avec Axiom pour la première place.

Dans le régime pratique utilisant LeanExplore et un échantillonnage contraint, V4-Flash-Max a obtenu 81.00 sur le benchmark Putnam-200 Pass@8, surpassant nettement Seed-2.0-Prover (35.50), Gemini 3 Pro (26.50) et Seed-1.5-Prover (26.50). Les résultats du régime frontier ont montré V4 en avance sur Seed-1.5-Prover (110/120) et Aristotle (100/120).

V4 emploie une approche hybride de raisonnement formel-informel : le raisonnement informel génère des solutions candidates en langage naturel, l’auto-vérification filtre les résultats, et un agent formel termine des preuves rigoureuses dans Lean. Les résultats du régime frontier ont utilisé une montée en charge computationnelle à grande échelle, tandis que les scores du régime pratique reflètent mieux les capacités de déploiement standard.

Afficher la source

Avertissement : Les informations figurant sur cette page peuvent provenir de sources tierces et sont fournies à titre indicatif uniquement. Elles ne reflètent pas les points de vue ou opinions de Gate et ne constituent pas un conseil financier, d’investissement ou juridique. Le trading des actifs virtuels comporte des risques élevés. Veuillez ne pas vous fonder uniquement sur les informations de cette page pour prendre vos décisions. Pour en savoir plus, consultez l’avertissement.

Actualités associées

V4‑Pro atteint un taux de réussite de 67 % en codage lors d’un test d’auto-utilisation interne, se rapprochant des performances d’Opus 4.5

Les données d’entraînement de DeepSeek V4 doublées à 33T, provoquant une instabilité qui a retardé la sortie

DeepSeek publie la série de modèles open-source V4 avec 1,6T de paramètres et une licence MIT

Les actions liées à l’IA représentent désormais 45 % de la capitalisation de S&P 500, les marchés du crédit subissent une pression

OpenAI lance GPT-5.5, conçu pour les tâches d’agent et les flux de travail complexes

Analyse approfondie

OpenAI lance GPT-5.5 : 12M de contexte, l’indice AA atteint le sommet, Terminal-Bench 82,7 % reconfigure la référence des agents

ChainNewsAbmedia04-23 19:45

Hyperliquid HYPE atteint un sommet sur 60 jours sur l’élan HIP4

Crypto News Land04-23 16:56

DeepSeek discute d’un premier tour de financement externe, valorisation 20 milliards de dollars : nouveau sommet pour l’évaluation de l’IA en Chine

ChainNewsAbmedia04-22 13:13

Commentaire

0/400

Aucun commentaire