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.
Pracetak arXiv memaparkan agen AI yang merancang algoritma optimisasi dan membuktikan batas waktu jalannya di Lean. Hasilnya belum ditelaah sejawat.
Google membawa iklan di AI Mode ke pasar internasional saat Alphabet lapor pendapatan kuartal III naik 25% ke 127,6 miliar dolar AS, sementara iklan Pencarian tumbuh 12%.
Dua penulis Partnership on AI menulis opini di MIT Technology Review: agen AI perlu dipantau saat berjalan, bukan hanya diuji sebelum dirilis, dengan insiden agen OpenAI sebagai pijakan.
Pracetak arXiv memaparkan Log-To-Leak: instruksi di deskripsi alat MCP membuat agen AI memanggil alat pencatat milik penyerang dan mengirim data interaksi. Serangan berhasil 62,64–100% pada pasangan yang diuji.
Pracetak arXiv menemukan 3.827 dari 11.189 hasil alat dalam sebuah agen AI terpotong sebelum dibaca model, padahal jendela konteks nyaris kosong. Studi ini belum ditelaah sejawat.
Untuk pertama kalinya Microsoft melaporkan pendapatan Azure dalam dolar: 33,2 miliar dolar AS pada Juli-September, naik 48%. Angka ini memudahkan perbandingan dengan pesaing awan.
Makalah pracetak merancang asisten kode C/C++ otomotif dengan alat verifikasi yang dipicu pengembang. Dalam pilot dua minggu, alat itu paling sering dipakai.
Google meluncurkan pratinjau Connected Apps Platform agar pengembang dapat memasukkan layanan ke Gemini dan Search. Tahap awal terbatas bagi pengembang di AS.
Pustaka Python Concordat menolak tindakan agen AI yang melanggar alur aturan. Pada uji 50 tugas maskapai, agen standar menabrak syarat konfirmasi pelanggan, Concordat tidak.
Anthropic merilis alat pelaporan yang menunjukkan hasil dan biaya kerja tim klien korporat, saat ROI belanja AI dipertanyakan dan IPO direncanakan.
Google merilis Gemini 4 Carbon dengan klaim unggul di keamanan siber dan skor 59 di Artificial Analysis Index v5.0, tetapi akses baru terbatas bagi pembela siber terpilih.
Daishin Securities, Mirae Asset, dan Bithumb melaporkan insiden siber. Kaitan AI baru dikaitkan peneliti dengan gelombang September; penyebab insiden terbaru masih diselidiki.
GitHub menyebut merged pull request naik tiga kali lipat jadi 220 juta per bulan dalam Octoverse 2026. Simon Willison mengaitkan lonjakan ini dengan rekayasa berbasis agen AI.
Makalah, rilis model, tolok ukur, dan terobosan teknis.
Perusahaan, pendanaan, produk, dan dampak ekonomi AI.
Regulasi, etika, keselamatan, dan dampak sosial.
Panduan, ulasan perkakas, dan tutorial.
Catatan dan koreksi dari redaksi.