Claude– tag –

Anthropic dan mitranya, Theorem, melakukan verifikasi formal terhadap 123 pustaka sumber terbuka menggunakan Claude dan menghasilkan sekitar 180 juta baris kode pembuktian. Kami mengulas makna peralihan AI dari “menulis” ke “membuktikan”, serta batas-batasnya.

Akun resmi Claude mengumumkan pratinjau riset aplikasi agen proaktif “Claude Duet”. Kami mengulas gambaran masa depan aplikasi AI melalui empat aspek desainnya: menyoroti hal-hal yang perlu diperhatikan, menjalankan tugas yang diminta, terus bekerja saat pengguna pergi, dan meminta konfirmasi sebelum bertindak atas nama pengguna.

Di divisi teknis Anthropic, proporsi karyawan junior di antara pegawai baru turun dari 27% menjadi 9%. Durasi kerja agen AI telah mencapai enam kali durasi kerja manusia di seluruh perusahaan. Artikel ini membahas masa depan pengembangan talenta yang dipertanyakan di balik peningkatan efisiensi.

Claude dari Anthropic dilaporkan berhasil mengungkap asal-usul “seed” kurva eliptik yang disediakan NSA dalam waktu kurang dari 30 menit. Intinya, Claude bukan memecahkan kriptografi, melainkan mengungkap asal-usul nilai konfigurasi. Berikut penjelasan tentang keunggulan AI dalam mempersempit hipotesis berdasarkan penyimpangan, serta arti penting hasil tersebut.

Anthropic mengatakan telah memperkuat langkah untuk menangkal ekstraksi berskala besar yang menyasar proses penalaran Claude, sehingga jumlah yang berhasil diekstrak berkurang 90–99%. Artikel ini mengulas medan persaingan baru di dunia AI melalui rancangan perlindungan yang mencakup akun palsu, pengklasifikasi, dan penangguhan akun.