NEAR AI menempati posisi pertama pada Lean Eval v1, sebuah tolok ukur untuk masalah formalisasi yang sangat sulit
Sistem ini berjalan hampir seluruhnya pada DeepSeek V4.1 Flash open-weight, sehingga harganya sangat murah. Model yang murah dapat digunakan di sini karena Lean memeriksa setiap bukti dengan tepat. Saya membuat mainan
Opus 5.5 dan Kokoro membuat video untuk esai terbaru saya (yang tidak ditulis oleh AI) "Mengerjakan garis atap untuk DeepSeek-V3 di Hopper".
Saya sangat senang dengan hasilnya!
Robot perlu mengetahui kapan suatu langkah telah selesai, atau robot tidak akan pernah memulai langkah berikutnya.
Dalam video tersebut, robot meletakkan cangkirnya tegak pada suhu 36 detik… dan terus bergerak. Memeriksa "apakah sudah selesai?" kedengarannya mudah, namun pemeriksa yang berguna harus: • memahami tugas dan adegan apa pun, bukan hanya mengikuti satu saja
Ya, Deepseek mengatakan hal yang sama sampai saya menunjukkan beberapa kebenaran yang tidak menyenangkan
Seperti hadiah Nobel 2015, EUA, dll, dan tiba-tiba dikatakan "saya buruk", Anda benar!
Sudah sampai ujung arsip
Semua deepseek