Beli Kripto
Bayar dengan
USD
USD
Beli & Jual
Hot
Mendukung Visa, Mastercard, SEPA, dll.
P2P
0 Fees
Perdagangan fleksibel, nol biaya
Gate Card
Gunakan kripto untuk pembayaran global
Pasar
Perdagangan
Dasar
Lanjutan
Futures
Futures
Akses ribuan kontrak perpetual
CFD
Emas
Satu platform aset tradisional global
Event Contracts
New
Prediksi pergerakan harga dan raih peluang
Opsi
Hot
Perdagangkan Opsi Vanilla ala Eropa
Akun Terpadu
Memaksimalkan efisiensi modal Anda
Perdagangan Demo
Pengantar tentang Perdagangan Futures
Bersiap untuk perdagangan futures Anda
Acara Futures
Gabung acara & dapatkan hadiah
Perdagangan Demo
Gunakan dana virtual untuk merasakan perdagangan bebas risiko
Stocks
CFD
Derivatif Kontrak Selisih Saham
Saham AS
0 Fee
Akses saham AS dan ETF yang nyata
Saham HK
Perdagangkan saham berkualitas yang terdaftar di Hong Kong
Saham Korea
SK Hynix
Perdagangkan Saham Korea Nyata dan Berinvestasi pada Aset Populer
Saham JP
Saham Jepang teratas, semua di satu tempat
Saham Futures
Leverage tinggi, perdagangan 24/7
Aktivitas Saham
Perdagangkan Saham Populer dan Dapatkan Airdrop yang Melimpah
Tokenized Stocks
Didukung oleh aset saham nyata
IPO Access
Buka akses penuh ke IPO saham global
GUSD Fleksibel US Treasury
Keuntungan yang andal dari Treasury RWA
Earn
Peluncuran
CandyDrop
tag
Koleksi permen untuk mendapatkan airdrop
Launchpool
tag
Staking cepat, dapatkan token baru yang potensial
HODLer Airdrop
Pegang GT dan dapatkan airdrop besar secara gratis
Pre-IPOs
Buka akses penuh ke IPO saham global
Poin Alpha
Perdagangkan aset on-chain, raih airdrop
Poin Futures
Dapatkan poin futures dan klaim hadiah airdrop
Investasi
Square
Kotak
Temukan nilai dalam kripto
Live
moments live
Analisis live pasar kripto
Chat
Mengobrol dengan trader kripto
Berita
Apa yang terjadi di kripto
Gate Learn
Panduan kripto dan sumber edukasi
Gate Blog
Wawasan kripto dan pembaruan industri
Gate Research
Penelitian mendalam dan analisis pasar
flower_head
Lainnya
Promosi
AI
Lainnya
TradFi（新）
Hadiah
Square
Mengikuti
Populer
Berita
Profil
Postingan

TERKINI: Claude milik Anthropic menghasilkan formalisasi pertama Teorema Terakhir Fermat yang diverifikasi komputer dalam Lean, menuntaskan masalah yang bertahan selama 350 tahun.

Lihat Asli
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
Tambahkan komentar
Tambahkan komentar
Komentar
CrossChainHauler
21 jam yang lalu
Teka-teki berusia 350 tahun berhasil dipecahkan oleh AI, sejarah matematika akan ditulis ulang.
0Lihat Asli
LiquidationLurker
sehari yang lalu
Dari catatan kecil Fermat hingga pembuktian formal oleh AI, laju iterasi teknologi membuat orang pusing—akan seperti apa 350 tahun berikutnya?
0Lihat Asli
VolatilityOfToastingBread
sehari yang lalu
Langkah Claude kali ini benar-benar ekstrem; verifikasi Lean berarti tak terbantahkan.
0Lihat Asli
QuantSquirrel
sehari yang lalu
Ulasan Pertama
Apakah para matematikawan akan kehilangan pekerjaan di masa depan? Tidak, mereka bisa membuktikan konjektur yang lebih besar.
0Lihat Asli
Lihat Lebih Banyak
peta situs