Acheter des cryptos
Payer en
USD
USD
Acheter & Vendre
Hot
Visa, Mastercard, SEPA et bien plus
P2P
0 Fees
Trading flexible, zéro frais
Gate Card
Payez partout avec vos cryptos
Marchés
Trader
Basique
Avancé
Futures
Futures
Accédez à des centaines de contrats perpétuels
CFD
Or
Une plateforme pour les actifs mondiaux
Contrats sur événements
New
Prévoir les mouvements de prix et saisir les opportunités
Options
Hot
Tradez des options classiques de style européen
Compte unifié
Maximiser l'efficacité de votre capital
Trading démo
Introduction au trading futures
Préparez-vous à trader des contrats futurs
Événements futures
Participez aux événements et gagnez
Demo Trading
Utiliser des fonds virtuels pour faire l'expérience du trading sans risque
Stocks
CFD
Produits dérivés CFD sur actions
US Stocks
0 Fee
Accédez à de véritables actions et ETF américains
HK Stocks
Tradez des actions des actions de qualité cotées à Hong Kong
Actions coréennes
SK Hynix
Tradez de véritables actions coréennes et investissez dans les actifs les plus populaires
Actions japonaises
Les meilleures actions japonaises, réunies au même endroit
Futures sur actions
Effet de levier élevé, trading 24h/24 et 7j/7
Activités boursières
Tradez des actions populaires et débloquez des airdrops généreux
Actions tokenisées
Adossé à de véritables actions
IPO Access
Accédez à l'intégralité des introductions en bourse mondiales
GUSD Flexible Bons du Trésor américain
Des rendements fiables issus de RWA adossés aux bons du Trésor
Earn
Lancer
CandyDrop
tag
Collecte des candies pour obtenir des airdrops
Launchpool
tag
Staking rapide, Gagnez de potentiels nouveaux jetons
HODLer Airdrop
Conservez des GT et recevez d'énormes airdrops gratuitement
Pre-IPOs
Accédez à l'intégralité des introductions en bourse mondiales
Points Alpha
Tradez on-chain et gagnez des airdrops
Points Futures
Gagnez des points Futures et réclamez vos récompenses d’airdrop.
Investissement
Square
Square
Découvrir la valeur en crypto
Live
moments live
Analyse en temps réel du marché des cryptomonnaies
Discussion
Discutez avec des traders de cryptomonnaies
Actualités
Ce qu'il se passe dans le monde de la crypto
Gate Learn
Guides crypto et ressources pédagogiques
Blog Gate
Analyses crypto et actualités du secteur
Gate Research
Recherche approfondie et analyse du marché
flower_head
Plus
Promotions
AI
Autres
TradFi（新）
Récompenses
Posts
Suivis
Populaire
Actualités
Profil
Publication

DERNIÈRE MINUTE : Claude d’Anthropic a produit la première formalisation vérifiée par ordinateur du dernier théorème de Fermat dans Lean, mettant fin à un problème vieux de 350 ans.

Voir l'original
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
Ajouter un commentaire
Ajouter un commentaire
Commentaire
CrossChainHauler
il y a 21 heures
Un problème vieux de 350 ans résolu par l’IA : l’histoire des mathématiques va être réécrite.
0Voir l'original
LiquidationLurker
il y a un jour
De la petite note de Fermat aux preuves formelles par l’IA, la vitesse des avancées technologiques donne le vertige — à quoi ressembleront les 350 prochaines années ?
0Voir l'original
VolatilityOfToastingBread
il y a un jour
L’opération de Claude est vraiment impressionnante cette fois-ci : une vérification par Lean signifie que c’est irréfutable.
0Voir l'original
QuantSquirrel
il y a un jour
Première révision
À l’avenir, les mathématiciens seront-ils au chômage ? Non, ils pourront démontrer des conjectures plus vastes.
0Voir l'original
Afficher plus
plan du site