Hasil pencarian untuk "OPEN"
Hari Ini
02:27

Meituan merilis model pembuktian teorema dengan parameter 560B secara open source, dengan tingkat keberhasilan 97,1% dalam 72 kali inferensi, menyegarkan posisi SOTA open source

Tim LongCat Meituan telah membuka sumber LongCat-Flash-Prover pada 21 Maret, sebuah model MoE dengan 560 miliar parameter yang berfokus pada pembuktian teorema formal Lean4. Model ini dibagi menjadi tiga kemampuan: formalisasi otomatis, pembuatan sketsa, dan pembuktian lengkap, yang menggabungkan alat penalaran dengan kompiler Lean4 untuk verifikasi waktu nyata. Pelatihan menggunakan Hybrid-Experts Iteration Framework dan algoritma HisPO untuk mencegah kecurangan reward. Pengujian tolok ukur menunjukkan bahwa model ini memecahkan rekor model bobot sumber terbuka dalam formalisasi otomatis dan pembuktian teorema.
Lainnya
10:43

Pendiri OpenClaw Menceritakan: Membuat Prototipe dalam Satu Jam, Semakin Dalam hingga Berkembang Menjadi Proyek Hari Ini

Peter Steinberger dalam acara Sequoia Capital merefleksikan pengalaman mendirikan kerangka kerja AI open-source OpenClaw, menceritakan bagaimana dia merasakan frustrasi karena berkali-kali ingin memberikan instruksi jarak jauh ke komputer, dan pada akhirnya memutuskan untuk mengembangkan prototipe sendiri, yang secara bertahap berkembang menjadi OpenClaw hari ini.
Lainnya
04:33

OpenCode Menghapus Semua Integrasi Claude Karena Persyaratan Hukum Anthropic, Bintang GitHub Melebihi 126,000

Pendiri alat pemrograman AI open source OpenCode, Dax Raad, mengumumkan bahwa karena menerima permintaan hukum dari Anthropic, akan menghapus semua integrasi terkait Anthropic dalam versi 1.3.0, termasuk plugin terkait dan file prompt. Meskipun mencoba berkomunikasi dengan Anthropic untuk mendukung kebebasan pilihan pengembang, upaya tersebut tidak berhasil. OpenCode adalah salah satu alat pemrograman AI open source yang paling populer saat ini, dengan lebih dari 126.000 bintang GitHub.
Lainnya
01:46

Laporan VanEck: Rasio Put/Call Opsi Bitcoin Melonjak ke 0,84, Menciptakan Rekor Tertinggi Lima Tahun

Gate News, 20 Maret, laporan terbaru VanEck tentang rantai Bitcoin menunjukkan bahwa sentimen bearish pada trader opsi Bitcoin mencapai level tertinggi dalam lima tahun. Data menunjukkan bahwa puncak rasio put/call bulan lalu mencapai 0,84, dengan rata-rata 0,77, berada dalam 9% terbearish sejak pertengahan 2019. Total open interest opsi melebihi 33 miliar dolar AS, dengan premi opsi put mencapai rekor tertinggi, menunjukkan bahwa investor institusional secara besar-besaran membeli perlindungan terhadap penurunan harga.
Lainnya
BTC3,68%