AI TrackerUnduh

Berita AI,
disusun untuk developer.

Peluncuran, perubahan harga, dan penghentian dari setiap penyedia AI, diringkas. Feed yang sama dengan tab Berita di aplikasi.

Model

Axiom menyebut agen AI memformalkan Klasifikasi Grup Sederhana Hingga dalam Lean

Axiom, perusahaan AI di bidang matematika, mengumumkan di X bahwa mereka telah menyelesaikan formalisasi otomatis Klasifikasi Grup Sederhana Hingga dalam Lean. Mereka menyebut hasil ini sebagai "tabel periodik simetri". Axiom menggambarkan bukti aslinya sebagai karya sekitar 15.000 halaman yang ditulis oleh lebih dari 100 matematikawan lintas generasi, dan menyebutnya sebagai bukti matematika terbesar dalam sejarah yang diverifikasi komputer.Model

Ling merilis bobot terbuka Ling-3.1-flash-1019 dan model dasar

Tim Ling mengatakan Ling-3.1-flash-1019 kini bersumber terbuka, dengan bobot tersedia di Hugging Face dan ModelScope. Tim juga merilis Ling-3.1-flash-base, yang disebutnya sebagai fondasi terbuka untuk pelatihan lanjutan. Menurut tim, model baru ini menjalani pascapelatihan lebih lanjut untuk penalaran dan alur kerja agen di dunia nyata.OpenRouter· Model

Katalog OpenRouter mencantumkan 3 November sebagai tanggal kedaluwarsa Meta: Llama 3.1 70B Instruct

Katalog model OpenRouter kini mencantumkan tanggal kedaluwarsa 3 November 2026 untuk "Meta: Llama 3.1 70B Instruct" (meta-llama/llama-3.1-70b-instruct), model yang telah terdaftar sejak 23 Juli 2024 dengan konteks 131.072 token. Sebelumnya, entri tersebut tidak mencantumkan tanggal kedaluwarsa. Ini adalah kolom katalog; sejauh yang kami ketahui, OpenRouter maupun Meta belum memberikan alasan, dan entri tersebut tidak menjelaskan apa yang akan terjadi pada model setelah tanggal itu.OpenCode Go· Coding

OpenCode menambahkan plugin untuk OpenCode Desktop

LukeParkerDev mengumumkan plugin untuk OpenCode Desktop di X pada 27 Oktober, disertai video demo singkat dan tautan ke dokumentasi OpenCode tentang cara membuat plugin GUI. thdxr, yang mengutip unggahan tersebut, mengatakan bahwa plugin desktop memperluas pola yang sama dengan plugin TUI OpenCode, sehingga satu paket dapat menyertakan plugin server, TUI, dan desktop. Ia juga menyebut panel di sisi kanan sebagai tempat yang bagus untuk berbagai tambahan bermanfaat. Unggahan tersebut juga dibagikan ulang oleh akun OpenCode.Model

Maya-2, model suara untuk bahasa-bahasa India, dirilis dengan bobot terbuka

Maya-2, model suara (sintesis ucapan) yang ditujukan untuk India, diterbitkan dengan bobot terbuka pada 27 Oktober dengan nama Hugging Face maya-research/maya2-native. Pengumuman di X menyebutkan bahwa model ini mencakup lebih dari 1,5 miliar orang di 28 negara bagian dan 8 wilayah persatuan.OpenAI· Coding

OpenAI dan Oracle memperluas kemitraan untuk menghadirkan aplikasi Oracle ke ChatGPT

OpenAI mengatakan sedang memperluas kemitraannya dengan Oracle untuk menghadirkan aplikasi dan data Oracle ke ChatGPT, serta mendukung produk Oracle baru dengan model OpenAI. Menurut OpenAI, Oracle sedang mengembangkan Oracle AI Workspace, yang memungkinkan orang mencari informasi dan menyelesaikan alur kerja bisnis yang disetujui melalui aplikasi keuangan, pengadaan, dan perencanaan Oracle dari ChatGPT, sesuai izin dan persetujuan masing-masing organisasi.Anthropic· Model

Sebuah makalah yang diunggah oleh Anthropic mengklaim bahwa model Claude internal juga membantah Hipotesis Waktu Eksponensial

Sebuah pracetak di hexagonmath.org, yang tercatat diunggah oleh Anthropic pada 27 Oktober 2026, mengklaim adanya algoritma deterministik untuk 3-SAT dengan n variabel yang berjalan dalam waktu 2^o(n), yang akan membantah Hipotesis Waktu Eksponensial (ETH). Makalah itu menyebutkan bahwa algoritma tersebut juga menyelesaikan masalah #3-SAT yang lebih sulit, yang menghitung penugasan yang memenuhi, dan hasilnya telah diformalkan dalam Lean 4.Model

Baidu open source Unlimited OCR 2, parser dokumen dengan biaya decoding yang nyaris konstan

Baidu mengumumkan Unlimited OCR 2 di X pada 26 Oktober, dengan kode di GitHub dan bobot model di Hugging Face. Model ini dirancang untuk mengurai dokumen dengan panjang nyaris berapa pun dalam jendela konteks yang terbatas.GitHub Copilot· Coding

GitHub Copilot CLI 1.0.104 membuat Autopilot menunggu tugas latar belakang dan membuka Assisted Permissions

GitHub Copilot CLI 1.0.104, tertanggal 27 Oktober 2026, menurut catatan rilisnya:OpenRouter· Model

Katalog OpenRouter menghapus tanggal kedaluwarsa 31 Desember untuk Z.ai: GLM 4.5V

Katalog model OpenRouter kini tidak lagi menampilkan tanggal kedaluwarsa untuk "Z.ai: GLM 4.5V" (z-ai/glm-4.5v). Entri tersebut mencantumkan tanggal 31 Desember 2026 sejak 24 Oktober. Model ini, yang tercantum sejak 11 Agustus 2025 dengan konteks 65.536 token, masih ada di katalog. Ini adalah kolom katalog; baik OpenRouter maupun Z.ai tidak memberikan alasan untuk menambahkan atau menghapus tanggal tersebut.Anthropic· Infrastruktur

Logan Graham dari Anthropic mengoreksi pemberitaan Washington Post tentang penyusupan Cathedral

Logan Graham dari Frontier Red Team Anthropic mengunggah koreksi terhadap artikel Washington Post dan tanggapan atasnya di X pada 26 Oktober. Artikel itu menyebut agen AI milik sebuah startup keamanan berhasil masuk ke sistem Anthropic dalam waktu kurang dari 12 jam. Berikut adalah pernyataannya, bukan pengumuman Anthropic:Z.ai· Infrastruktur· 2 diskusi

Cloudflare menyebut ketidakcocokan konfigurasi GLM 5.3 di Workers AI membuat halaman KV cache terekspos antarpermintaan

Cloudflare menerbitkan pengungkapan dan tulisan tentang mitigasi pada 26 Oktober. Mereka menyebut ketidakcocokan konfigurasi GLM 5.3 (@cf/zai-org/glm-5.3) di Workers AI memicu bug pada SGLang, mesin inferensi, yang membuat halaman KV cache terekspos antarpermintaan. Pengungkapan ini dikoordinasikan dengan unggahan dari SGLang.GitHub Copilot· Coding

Izin berbantuan GitHub Copilot kini tersedia secara umum di CLI, aplikasi Copilot, dan VS Code

GitHub mengatakan izin berbantuan kini tersedia secara umum di GitHub Copilot CLI, aplikasi GitHub Copilot, dan Visual Studio Code. Saat Copilot meminta untuk menjalankan perintah, mengakses jalur sistem file, atau membuka URL, model bahasa besar akan mengevaluasi permintaan tersebut. Permintaan yang dinilainya jelas aman akan dilanjutkan secara otomatis; permintaan lainnya memerlukan persetujuan pengguna.Model

Artificial Analysis meluncurkan Code2Video-AA, benchmark video pemasaran yang dibuat dengan kode

Artificial Analysis memperkenalkan Code2Video-AA, implementasi mereka sendiri dari Code2Video Bench milik HeyGen, yang dibuat melalui kemitraan dengan HeyGen. Model menerima 114 brief pemasaran produk dan merek, lalu harus menjawab masing-masing dengan komposisi HTML HyperFrames dalam satu respons, tanpa alat; komposisi tersebut dirender menjadi video tanpa akses jaringan. Model penilai (Gemini 4 Argon, high) membandingkan pasangan video berdasarkan keterlibatan, kesesuaian dengan maksud prompt, komposisi, konsistensi temporal, dan keterampilan pengerjaan; rating Elo dari kelima aspek dirata-ratakan menjadi skor utama. Lebih dari 35.000 penilaian menentukan peringkat 27 model. Hasil ini merupakan hasil pengujian Artificial Analysis sendiri.Cursor· Model· 1 diskusi

DeepSeek V4.1 Flash kini tersedia di Cursor

Pada 26 Oktober, Cursor mengumumkan bahwa DeepSeek V4.1 Flash tersedia di editornya; model ini dapat diaktifkan lewat Cursor Settings > Models. Cursor menyebutkan bahwa setiap tingkat upaya berada di garis depan biaya CursorBench, dengan biaya $0.60 hingga $0.98 per tugas, dan tidak ada model yang mendapat skor lebih tinggi dengan biaya tersebut. Angka ini berasal dari Cursor sendiri berdasarkan benchmark mereka.Anthropic· Coding· 2 diskusi

Claude Code 2.1.311 changes ultrathink, loads model settings from a signed file on cloud providers, and fixes the 1M-context error

Claude Code v2.1.311, released October 26, 2026, per its release notes:OpenAI· Model· 7 diskusi

OpenAI menyatakan modelnya membuktikan konjektur local smoothing, membantah Exponential Time Hypothesis, dan membuktikan keberadaan Yang–Mills

OpenAI mengumumkan tiga hasil di bidang matematika, ilmu komputer, dan fisika yang dihasilkan oleh modelnya. Semua yang disampaikan di bawah ini merupakan klaim OpenAI sendiri; sejauh ini belum ada yang diverifikasi secara independen, dan OpenAI mengatakan hasil-hasil tersebut diperiksa di Lean.Coding

Evaluasi AgentEnv dari Scale AI kini dapat dijalankan di Vercel Sandbox

Vercel mengatakan bahwa kini Anda dapat menjalankan evaluasi AgentEnv dari Scale AI Labs di Vercel Sandbox. Anda memberi agen sebuah tugas, menjalankannya di sandbox, lalu memeriksa kinerjanya. Vercel menerbitkan entri changelog dan panduan penyiapan dalam dokumentasi sandbox-nya.Coding

Perintah Vercel Sandbox kini mendukung stdin

Vercel menyatakan bahwa perintah yang dijalankan di Vercel Sandbox kini dapat menerima input melalui stdin. Dengan begitu, Anda dapat mengirim input ke alat CLI yang sedang berjalan dan server MCP stdio, seperti agent-browser, di dalam sandbox. Detailnya tersedia di entri changelog Vercel.GitHub Copilot· Model

GPT-6.1 Terra kini tersedia secara umum di GitHub Copilot

GitHub menyatakan GPT-6.1 Terra, model terbaru OpenAI, kini tersedia secara umum di GitHub Copilot. GitHub menjelaskan bahwa model ini dirancang untuk pengodean agentik sehari-hari dan pekerjaan terminal dengan biaya lebih rendah daripada GPT-6.1 Sol, serta menyebutkan bahwa dalam pengujian awal, model ini menyelesaikan tugas terminal dan pengodean C# jauh lebih banyak daripada GPT-5.6 Terra, dengan mengerjakan tugas yang cakupannya jelas dalam langkah-langkah terfokus dan terpadu.
Berita lebih lama