Tentang Ring-1T

Ring-1T adalah model berpikir sumber terbuka dengan triliun parameter yang dirilis oleh tim Bailing. Dibangun di atas arsitektur Ling 2.0 dan model dasar Ling-1T-base, ini memiliki 1 triliun parameter total dengan 50 miliar parameter aktif dan mendukung jendela konteks hingga 131K tokens. Kemampuan penalaran mendalam dan inferensi bahasa alaminya telah ditingkatkan secara signifikan melalui pembelajaran penguatan hadiah yang dapat diverifikasi dalam skala besar (RLVR), dikombinasikan dengan metode stabilisasi pembelajaran penguatan icepop yang dikembangkan sendiri dan kerangka kerja RL ASystem yang efisien. Ring-1T mencapai kinerja sumber terbuka yang terkemuka pada tolok ukur penalaran yang menantang, termasuk kompetisi matematika (misalnya, IMO 2025), pembuatan kode (misalnya, ICPC World Finals 2025), dan penalaran logis.

Temukan bagaimana penalaran dengan satu triliun parameter dari Ring-1T mengatasi tantangan rumit di berbagai domain.

Matematika Lanjut & Bukti

Unggul dalam tantangan matematika yang kompleks, menghasilkan dan memverifikasi bukti untuk fisika teoretis, teknik, atau matematika kompetitif.

Contoh Kasus Penggunaan:

"Memecahkan masalah teori bilangan yang menantang dari IMO 2025, memberikan bukti langkah-demi-langkah yang ketat dan mendapatkan setara medali perak."

Kode Elit & Debugging

Menguasai pemrograman algoritmik, mengidentifikasi kesalahan logis halus, dan mengoptimalkan kinerja di berbagai bahasa pemrograman dan arsitektur sistem.

Contoh Kasus Penggunaan:

"Men-debug bug konkuren yang kritis dalam server web Rust berperforma tinggi, menemukan kondisi race secara tepat dan menyarankan perbaikan operasi atomik."

Analisis Kausal Strategis

Lakukan analisis kuantitatif dan kualitatif multi-langkah pada dataset yang luas, menyimpulkan hubungan kausal untuk rekomendasi strategis dalam bisnis atau kebijakan.

Contoh Kasus Penggunaan:

"Menganalisis data rantai pasokan global dan peristiwa geopolitik untuk memprediksi gangguan mendatang, memberi saran kepada perusahaan manufaktur tentang strategi mitigasi risiko proaktif."

Verifikasi Sistem Formal

Audit sistem yang kompleks, dari kerangka hukum hingga skema teknik, dengan menalar melalui ketergantungan logis, mengidentifikasi ketidakonsistenan, dan memastikan kepatuhan.

Contoh Kasus Penggunaan:

"Memverifikasi secara formal properti keamanan dari mekanisme konsensus blockchain baru yang ditulis dalam Solidity, menemukan kerentanan reentrancy sebelum peluncuran."

Sintesis Pengetahuan Konteks Panjang

Mensintesis sejumlah besar informasi dari dokumen yang luas (hingga 131K token), menghasilkan laporan komprehensif, ulasan literatur, atau ringkasan hukum.

Contoh Kasus Penggunaan:

"Mengonsolidasikan ribuan makalah penelitian medis tentang penyakit langka, menghasilkan ulasan berbasis bukti yang ringkas untuk tim R&D farmasi dalam beberapa jam."

Metadata

Buat di

14 Okt 2025

Lisensi

MIT LICENSE

Penyedia

inclusionAI

HuggingFace

Spesifikasi

Negara

Deprecated

Arsitektur

Terkalibrasi

Ya

Campuran Ahli

Ya

Total Parameter

1000B

Parameter yang Diaktifkan

50B

Penalaran

Tidak

Precision

FP8

Text panjang konteks

131K

Max Tokens

Siap untuk mempercepat pengembangan AI Anda?

Siap untuk mempercepat pengembangan AI Anda?

Siap untuk mempercepat pengembangan AI Anda?

Indonesian (Indonesia)

© 2025 SiliconFlow

Indonesian (Indonesia)

© 2025 SiliconFlow

Indonesian (Indonesia)

© 2025 SiliconFlow