BARU SAJA: Mistral AI meluncurkan Leanstral, agen AI sumber terbuka dengan 6B parameter untuk verifikasi formal Lean 4. Jika diadopsi, hal ini dapat menurunkan hambatan biaya untuk pekerjaan dan perkakas verifikasi on-chain. $AI?

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
  • Komentar
  • Posting ulang
  • Bagikan
Komentar
Tambahkan komentar
Tambahkan komentar
Tidak ada komentar
  • Sematkan