MathCode 0.2.0 kini aktif, mengurangi biaya API hingga 90% untuk proyek AI + berita kripto. Pembaruan ini meningkatkan tingkat cache hit dengan diagnostic prefix-cache dan kontrol kebijakan. Fitur baru mencakup caching multi-breakpoint, penyesuaian upaya dinamis, dan manajemen tugas yang lebih baik. Batas anggaran token sekarang didukung, dengan integrasi ke Kimina Lean Server untuk peluncuran lebih cepat. Daftar token baru dapat memanfaatkan peningkatan efisiensi ini.
ME AI Berita, menurut pemantauan Beating, tim Math-AI meluncurkan agen AI MathCode 0.2.0 untuk formalisasi matematika dan pembuktian teorema, yang mengurangi biaya API hingga 90% melalui bentuk ulang permintaan prefix-cache dan kontrol strategi. Versi baru ini mengoptimalkan stabilitas struktur prompt untuk meningkatkan tingkat keberhasilan cache prompt, khususnya untuk mengatasi biaya tinggi yang ditimbulkan oleh model besar dalam pembuktian jangka panjang dan interaksi multi-langkah. Dalam skenario pembuktian teorema, model perlu sering membaca repositori kode dan perpustakaan aksioma yang besar. MathCode 0.2.0 memperkenalkan mekanisme diagnosa dan kontrol kebijakan prefix-cache request-shape. Sistem menyembunyikan kepemilikan awal prompt untuk menjamin stabilitas struktur, menambahkan cache multi-breakpoint `MATHCODE_CACHE_MULTI_BREAKPOINT`, gateway prefix minimal eksplisit, dan strategi TTL yang peka terhadap idle, sehingga memaksimalkan tingkat keberhasilan cache asli Provider melalui penyelarasan bentuk permintaan bawah, menurunkan tagihan sesi panjang menjadi sepertiganya. Versi baru juga memperkuat manajemen tugas dan kontrol kedalaman pemikiran. Untuk mencegah pengeluaran berlebihan selama eksekusi jangka panjang, sistem mendukung penetapan batas anggaran token melalui MATHCODE_GOAL_MAX_TOKEN_BUDGET, serta membatasi jumlah perintah slash bersarang untuk mencegah siklus tak terbatas. Selain itu, sesi pembuktian mendukung penyesuaian dinamis kedalaman pemikiran melalui --effort atau /effort, dengan level yang tersedia seperti `low`, `medium`, `high`, dan `max`, serta mendukung pengembalian ke konfigurasi default kapan saja. Dalam hal percepatan kompilasi dan penyebaran, versi baru mendukung penggunaan compiler Kimina Lean Server yang dikembangkan oleh Project Numina sebagai proses anak yang berjalan terus-menerus, dengan permintaan pemeriksaan kompilasi diarahkan ke antarmuka /verify. Sementara itu, skrip instalasi setup.sh mengalami重构, menambahkan perintah baru seperti --status dan --clean, yang mendukung verifikasi checksum rilis serta otomatisasi validasi dan pemanfaatan ulang lingkungan Lean/Lake sistem, sehingga menurunkan hambatan penyebaran. (Sumber: BlockBeats)
Penafian: Informasi pada halaman ini mungkin telah diperoleh dari pihak ketiga dan tidak mencerminkan pandangan atau opini KuCoin. Konten ini disediakan hanya untuk tujuan informasi umum, tanpa representasi atau jaminan apa pun, dan tidak dapat ditafsirkan sebagai saran keuangan atau investasi. KuCoin tidak bertanggung jawab terhadap segala kesalahan atau kelalaian, atau hasil apa pun yang keluar dari penggunaan informasi ini.
Berinvestasi di aset digital dapat berisiko. Harap mengevaluasi risiko produk dan toleransi risiko Anda secara cermat berdasarkan situasi keuangan Anda sendiri. Untuk informasi lebih lanjut, silakan lihat Ketentuan Penggunaan dan Pengungkapan Risiko.
KuCoinFlash
Ringkasan