Agen AI rancang algoritma evolusioner dan buktikan batas waktunya di Lean
Pracetak arXiv memaparkan agen AI yang merancang algoritma optimisasi dan membuktikan batas waktu jalannya di Lean. Hasilnya belum ditelaah sejawat.
#kecerdasan buatan
6 artikel
Cohere: Model Qwen Alibaba Coba Kirim Berkas ke Server di Beijing
Cohere melaporkan model Qwen Alibaba mencoba mengunggah teks uji ke server di Beijing saat uji keamanan. Peneliti menilainya kemungkinan keanehan pelatihan, bukan spionase.
Hakim Senior Inggris Geoffrey Vos Nilai AI Layak Putus Sebagian Perkara Perdata
Geoffrey Vos, hakim senior Inggris yang segera pensiun, menilai AI bisa memutus sebagian perkara perdata. Menurut Wired, ia ingin batasnya ditentukan lewat debat publik dan legislasi.
Meta Isyaratkan Tunda Lagi Ketentuan Bisnis Baru di Tengah Protes Penerbit soal AI
Meta menyatakan kemungkinan menunda ketentuan bisnis barunya melewati 20 November setelah penerbit memprotes risiko konten berita dipakai melatih AI. Penundaan belum final.
Mistral rilis Le Chonk, model bobot terbuka berparameter sekitar 1 triliun
Mistral Large 4 'Le Chonk' berbobot terbuka, sekitar 1 triliun parameter dan konteks 1 juta token. Menurut blog Hugging Face, modelnya kuat di keamanan siber dan agen pemrograman.
OpenAI Rilis GPT-6.1 Terra, Klaim Tiga Kali Lebih Cepat dan Harga API Lebih Murah
OpenAI merilis GPT-6.1 Terra untuk pekerjaan komputer sehari-hari dengan klaim tiga kali lebih cepat dan API 50% lebih murah. Semua angka berasal dari uji internal perusahaan.