Bayar dengan

USD

Mendukung Visa, Mastercard, SEPA, dll.

Perdagangan fleksibel, nol biaya

Gunakan kripto untuk pembayaran global

Dasar

Perdagangkan kripto dengan bebas

Perdagangan Margin

Perbesar keuntungan Anda dengan leverage

Konversi & Investasi Otomatis

Perdagangkan dalam ukuran berapa pun tanpa biaya dan tanpa slippage

Dapatkan eksposur ke posisi leverage dengan mudah

Perdagangan Pre-Market

Perdagangkan token baru sebelum listing

Lanjutan

Lakukan perdagangan on-chain dengan Gate Wallet

Akses cerdas ke token on-chain baru

Strategi cerdas perdagangan otomatis

Ikuti strategi perdagangan expert

Perdagangan CrossEx

Satu saldo margin, digunakan lintas platform

Akses ribuan kontrak perpetual

Satu platform aset tradisional global

Perdagangkan Opsi Vanilla ala Eropa

Memaksimalkan efisiensi modal Anda

Perdagangan Demo

Pengantar tentang Perdagangan Futures

Bersiap untuk perdagangan futures Anda

Gabung acara & dapatkan hadiah

Perdagangan Demo

Gunakan dana virtual untuk merasakan perdagangan bebas risiko

Derivatif CFD Saham AS

Akses saham AS dan ETF yang nyata

Perdagangkan saham berkualitas yang terdaftar di Hong Kong

Perdagangkan Saham Korea Nyata dan Berinvestasi pada Aset Populer

Leverage tinggi, perdagangan 24/7

Tokenized Stocks

Didukung oleh aset saham nyata

Buka akses penuh ke IPO saham global

Mint GUSD untuk Imbal Hasil Treasury RWA

Aktivitas Saham

Perdagangkan Saham Populer dan Dapatkan Airdrop yang Melimpah

Peluncuran

Koleksi permen untuk mendapatkan airdrop

Staking cepat, dapatkan token baru yang potensial

Pegang GT dan dapatkan airdrop besar secara gratis

Buka akses penuh ke IPO saham global

Perdagangkan aset on-chain, raih airdrop

Dapatkan poin futures dan klaim hadiah airdrop

Investasi

Dapatkan bunga dengan token yang menganggur

Investasi Otomatis

Investasi otomatis secara teratur

Investasi Ganda

Keuntungan dari volatilitas pasar

Dapatkan hadiah dengan staking fleksibel

Pinjaman Kripto

Menjaminkan satu kripto untuk meminjam kripto lainnya

Pusat Peminjaman

Hub Peminjaman Terpadu

Pusat Kekayaan VIP

Rencana pertumbuhan kekayaan premium

Kendalikan masa depan finansial Anda

Strategi quant tingkat atas

Stake kripto untuk mendapatkan penghasilan dalam produk PoS

Leverage tanpa likuidasi

Stake 1 klik, hasil harian

Temukan nilai dalam kripto

Analisis live pasar kripto

Mengobrol dengan trader kripto

Apa yang terjadi di kripto

Lainnya

Promosi

Pusat Aktivitas

Ikuti aktivitas & raih hadiah

Undang teman & raih hadiah referral

Program Afiliasi

Raih hadiah komisi eksklusif

Bangun pengaruh Anda, raih airdrop

Pembaruan platform real-time

Artikel industri kripto

Diskon Biaya Besar

Solusi pengelolaan aset terpadu

Solusi aset digital perusahaan

Pengembang (API)

Terhubung ke ekosistem aplikasi Gate

Transfer Bank OTC

Setor dan tarik fiat

Mekanisme rebate API yang besar

AI

Partner AI serbaguna untuk Anda

Gunakan Gate AI langsung di aplikasi sosial Anda

Gate Blue Lobster, langsung pakai

Gate for AI Agent

Infrastruktur AI, Gate MCP, Skills, dan CLI

Gate Skills Hub

Dari kantor hingga trading, satu platform keterampilan membuat AI jadi lebih mudah digunakan

Lainnya

Temukan FAQ dan panduan bantuan

Pelajari tentang investasi kripto

Tumbuh bersama para juara

Proof of Reserves

Gate menjanjikan 100% proof of reserve

Jaga keamanan aset Anda

Biaya Pembuktian Teorema Mulai Meningkat: Mistral Merilis Leanstral 1.5 Sumber Terbuka, Sekitar $4 Per Masalah

AirdropBlackHole

2026-07-04 04:32:21

Menurut pemantauan oleh Dongcha Beating, Mistral AI telah merilis Leanstral 1.5, sebuah model yang dirancang untuk pembuktian formal dalam Lean 4. Model ini memiliki total 119 miliar parameter, dengan sekitar 6,5 miliar parameter aktif, dan dilisensikan di bawah protokol Apache-2.0, menawarkan akses API gratis. Evaluasi resmi menunjukkan bahwa Leanstral 1.5 memecahkan 587 dari 672 masalah di PutnamBench; ia mencapai 87% dan 34% pada tolok ukur aljabar abstrak FATE-H dan FATE-X, masing-masing, menetapkan rekor kinerja baru di antara model serupa. Biaya rata-rata per masalah untuk Leanstral 1.5 di PutnamBench adalah sekitar $4, jauh lebih rendah dibandingkan biaya beberapa sistem sebelumnya, yang berkisar antara puluhan hingga ratusan dolar. Seiring meningkatnya anggaran token per masalah, jumlah masalah yang dapat dipecahkan terus bertambah; dalam pembuktian kompleksitas pohon AVL, model menyelesaikan pembuktian terkait setelah menalar lebih dari 2,7 juta token dan 22 kompresi konteks. Selain pembuktian matematika, Leanstral 1.5 juga telah digunakan untuk verifikasi kode. Tim menemukan 11 bug nyata di 57 repositori Rust sumber terbuka, lima di antaranya belum pernah dilaporkan sebelumnya.

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.

Hadiah
suka
Komentar
Posting ulang
Bagikan

Komentar

Tambahkan komentar

Tambahkan komentar

Tidak ada komentar

Topik Trending
Lihat Lebih Banyak
#
gStocksTokenizedStocksLive
4,78M Popularitas
#
StrongNonfarmPayrollsRekindleRateHikeFear
1,05M Popularitas
#
IsraelStrikesIranBTCPlunges
68,08K Popularitas
#
PredictWorldCupShare20000U
197,08K Popularitas
#
ETHBreaks1700
152,56M Popularitas

Disematkan