OpenAI Resmi Merilis Makalah 249 Halaman dan Kode Verifikasi… | Berita AI 2026-08-03

🔥 Sorotan

OpenAI Resmi Merilis Makalah 249 Halaman dan Kode Verifikasi Model Astra yang Memecahkan 10 Masalah Matematika Terbesar : OpenAI secara resmi merilis makalah teknis setebal 249 halaman tentang bagaimana model penalaran generasi berikutnya, Astra, memecahkan 10 masalah matematika tingkat Fields Medal, serta merilis kode verifikasi formal Lean 4 secara open-source di GitHub. Astra untuk pertama kalinya mengonstruksi contoh tandingan untuk non-sofic group, dan menembus batas laju peluruhan masalah penumpukan bola berdimensi tinggi sejak tahun 1978. Terobosan ini membuktikan kemampuan konstruksi AI yang mendalam di bidang matematika murni, dengan biaya Token rata-rata untuk satu pembuktian hanya sebesar 200 dolar AS, menandakan dimulainya era “membeli teorema matematika dengan daya komputasi” (sumber: OpenAI News)

OpenAI Resmi Merilis Makalah 249 Halaman dan Kode Verifikasi Model Astra yang Memecahkan 10 Masalah Matematika Terbesar

Andrej Karpathy Bahas Claude Opus 5 yang Hasilkan Dunia Game Fisika 3D Lengkap Hanya dengan Satu Prompt : Mantan kepala AI Tesla, Andrej Karpathy, membuat unggahan pertamanya setelah bergabung dengan Anthropic, menunjukkan Claude Opus 5 dengan anggaran 1 juta Token berhasil menghasilkan dunia game 3D “The Lord of the Rings” yang mencakup fisika kompleks, material, dan musik hanya dengan satu prompt. Perkembangan ini menandai pergeseran paradigma AI dari penggambaran 2D SVG sederhana menuju pembuatan prototipe 3D prosedural. Namun, Karpathy juga menunjukkan bahwa karena model tersebut kurang memiliki persepsi video real-time dan kemampuan audit game, masih ada keterbatasan seperti masalah “clipping” (tembus objek) pada visual yang dihasilkan (sumber: THE DECODER)

Andrej Karpathy Bahas Claude Opus 5 yang Hasilkan Dunia Game Fisika 3D Lengkap Hanya dengan Satu Prompt

Sistem Keamanan Siber Microsoft MDASH Raih Hasil Terobosan 95,95% pada Tolok Ukur CyberGym : Microsoft mengumumkan hasil terbaru dari sistem keamanan siber multi-agent miliknya, MDASH, pada tolok ukur CyberGym, memimpin industri secara signifikan dengan tingkat reproduksi kerentanan sebesar 95,95%. Sistem ini mengadopsi arsitektur perutean hibrida yang sangat hemat biaya: model ringan MAI-Cyber-1-Flash dengan hanya 5B parameter aktif menangani 90% kueri keamanan rutin, dan hanya mengalihkan 10% tugas tersulit ke GPT-5.4. Hal ini memangkas biaya inferensi hingga setengahnya sambil tetap mempertahankan kinerja pertahanan tingkat atas, menunjukkan evolusi keamanan siber AI dari “menumpuk model besar” menjadi “pengurangan biaya yang sistematis” (sumber: 36氪)

Sistem Keamanan Siber Microsoft MDASH Raih Hasil Terobosan 95,95% pada Tolok Ukur CyberGym

Perantara Rantai Data AI Terungkap Membeli Secara Massal dan Memindai Secara Destruktif Buku-Buku Langka Sebelum Tahun 2022 : Penjual buku Australia dan investigasi industri mengungkap detail baru tentang sumber data pelatihan AI: perantara data seperti ISBNdb membeli buku-buku langka dan habis cetak yang diterbitkan sebelum tahun 2022 secara anonim dalam jumlah besar melalui platform barang bekas, karena buku-buku tersebut belum “terkontaminasi” oleh konten buatan AI. Untuk meningkatkan efisiensi digitalisasi, lembaga pemindaian memotong punggung buku dan menghancurkan buku fisik tersebut, memicu kontroversi etis di kalangan budaya mengenai hilangnya warisan budaya manusia akibat pelatihan AI (sumber: The Guardian)

Perantara Rantai Data AI Terungkap Membeli Secara Massal dan Memindai Secara Destruktif Buku-Buku Langka Sebelum Tahun 2022

🎯 Perkembangan

Google Gemini Robotics 2 Fokus pada Kontrol “Kolaborasi End-to-End Seluruh Tubuh” : Google DeepMind merilis model robot umum Gemini Robotics 2, yang intinya adalah mendobrak kontrol bertahap tradisional “berdiri kokoh dulu baru menjangkau”, dan mewujudkan kolaborasi seluruh tubuh antara kaki, batang tubuh, dan tangan cekatan multi-jari. Pengujian menunjukkan bahwa model ini mencapai adaptasi lintas-tubuh pada Franka Duo dan Apollo 2, tetapi tingkat keberhasilan untuk operasi halus “beberapa sentimeter terakhir” seperti memasang bohlam lampu dan menutup kantong ziplock masih perlu ditingkatkan (sumber: 36氪)

NVIDIA Merilis Molt, Kerangka Kerja Reinforcement Learning Agentic Minimalis secara Open-Source : Tim NVIDIA NeMo merilis Molt secara open-source, sebuah kerangka kerja reinforcement learning agentic berbasis PyTorch native. Kerangka kerja ini mengutamakan desain minimalis dengan hanya sekitar 8,6 ribu baris kode, sehingga sangat mudah dipahami dan dimodifikasi oleh asisten pengodean AI. Molt menggunakan Ray dan vLLM untuk mencapai kolaborasi asinkron yang efisien antara pelatihan dan Rollout, serta memperkenalkan teknologi “Rollout routing replay” untuk memecahkan masalah ketidakkonsistenan pemilihan pakar pada model MoE antara sisi pelatihan dan inferensi (sumber: MarkTechPost)

AMD Merilis Instella-MoE-16B-A3B, Model Mixture of Experts yang Sepenuhnya Open-Source : AMD merilis Instella-MoE-16B-A3B (dengan 2,8B parameter aktif), sebuah model Mixture of Experts open-source yang dilatih pada GPU Instinct MI300X/MI325X. Model ini memperkenalkan teknologi komunikasi asinkron Gated MLA (Gated Multi-head Latent Attention) dan FarSkip-Collective, meningkatkan kecepatan pra-pelatihan sebesar 12,7% dan mengurangi latensi output token pertama sebesar 39,2%, memimpin model open-source dengan ukuran serupa dalam berbagai pengujian tolok ukur (sumber: MarkTechPost)

AMD Merilis Instella-MoE-16B-A3B, Model Mixture of Experts yang Sepenuhnya Open-Source

Meta AI Mengusulkan Arsitektur Agent Memori Aktif untuk Mengatasi “Penurunan Status Perilaku” : Peneliti Meta AI mengusulkan arsitektur “agent memori aktif” dengan memperkenalkan agent “pelatih memori” independen untuk memelihara basis memori terstruktur yang berisi status, pengetahuan, dan proses. Agent pelatih ini secara aktif menentukan kapan harus mengirimkan prompt ke agent pengeksekusi, secara signifikan meningkatkan tingkat keberhasilan tugas panjang dalam pengujian seperti Terminal-Bench, dan secara efektif mencegah agent melupakan batasan serta mengulangi upaya yang gagal dalam konteks panjang (sumber: THE DECODER)

Meta AI Mengusulkan Arsitektur Agent Memori Aktif untuk Mengatasi "Penurunan Status Perilaku"

OpenAI Meluncurkan Presence, Platform Penerapan dan Integrasi Agent Tingkat Perusahaan : OpenAI meluncurkan layanan Presence untuk pelanggan perusahaan, yang bertujuan untuk mengubah agent ChatGPT Workspace menjadi aplikasi tingkat produksi yang dapat langsung digunakan untuk layanan pelanggan dan alur kerja internal. OpenAI akan mengirimkan insinyur penerapan garis depan untuk membantu pelanggan perusahaan dalam integrasi sistem, menetapkan batas keamanan, dan mengelola pengujian, menandai bahwa produsen model besar mempercepat dorongan agent AI ke dalam skenario bisnis inti perusahaan (sumber: THE DECODER)

Undang-Undang AI Uni Eropa Resmi Berlaku, Memicu Kekhawatiran “Kelelahan Pengungkapan” : Undang-Undang AI Uni Eropa (EU AI Act) resmi berlaku pada tanggal 2 Agustus. Peraturan baru ini mewajibkan semua interaksi dengan sistem AI atau konten media yang dibuat/diedit menggunakan AI untuk diberi label, dengan pelanggar menghadapi denda hingga 15 juta euro atau 3% dari omzet global mereka. Analis industri khawatir bahwa label AI yang ada di mana-mana dapat memicu “kelelahan pengungkapan” (disclosure fatigue) dan pengabaian visual oleh publik, mirip dengan pop-up Cookie pada GDPR (sumber: WIRED)

Undang-Undang AI Uni Eropa Resmi Berlaku, Memicu Kekhawatiran "Kelelahan Pengungkapan"

🧰 Alat

DwarfStar: Engine Inferensi Lokal Bahasa C yang Dioptimalkan untuk DeepSeek V4 : Pengembang antirez merilis DwarfStar secara open-source, sebuah engine inferensi lokal bahasa C yang dioptimalkan secara mendalam untuk DeepSeek V4 Flash. Engine ini sepenuhnya mandiri (self-contained), mendukung backend Metal, CUDA, dan ROCm, serta secara khusus merancang mode streaming pakar SSD, yang memungkinkan model MoE dengan parameter besar berjalan pada kecepatan yang dapat diterima di perangkat kelas konsumen dengan memori terbatas (seperti Mac 96GB) (sumber: GitHub)

DwarfStar: Engine Inferensi Lokal Bahasa C yang Dioptimalkan untuk DeepSeek V4

Xberg v1: Kerangka Kerja Ekstraksi Konten Cerdas Berbasis Rust yang Sadar Tata Letak : Pengembang merilis kerangka kerja ekstraksi konten cerdas yang efisien, Xberg v1 (sebelumnya bernama Kreuzberg), secara open-source. Kerangka kerja ini ditulis murni dalam Rust, mendukung analisis mendalam untuk 101 format dokumen dan 367 format kode. Alat ini memperkenalkan deteksi tata letak berbasis ONNX dan rekonstruksi urutan membaca gaya Docling, secara signifikan melampaui alat sejenis seperti docling dan mineru dalam kualitas ekstraksi PDF asli dan pemulihan tabel (sumber: Reddit)

Xberg v1: Kerangka Kerja Ekstraksi Konten Cerdas Berbasis Rust yang Sadar Tata Letak

mem-port: Server Memori Lokal untuk Menghilangkan Pergeseran Konteks dalam Kolaborasi AI : Pengembang merilis server memori MCP lokal mem-port secara open-source. Alat ini menggunakan SurrealDB tertanam (embedded) untuk mengimplementasikan penyimpanan graf dan vektor, tanpa perlu mengonfigurasi database eksternal yang rumit. mem-port dapat menyediakan memori jangka panjang bersama yang terpadu untuk berbagai alat pemrograman AI seperti ChatGPT, Claude Code, dan Cursor, mencatat pilihan arsitektur dan upaya historis, serta secara efektif memecahkan masalah hilangnya konteks saat beralih di antara beberapa alat (sumber: Reddit)

📚 Pembelajaran

Tutorial Pelatihan Presisi Campuran Otomatis FP8 NVIDIA Transformer Engine : Tutorial ini menjelaskan secara rinci cara menggunakan NVIDIA Transformer Engine untuk mempercepat alur pelatihan model Transformer. Konten mencakup penggunaan operator terpadu (fused operators) seperti te.Linear, konfigurasi Autocast berbasis presisi campuran otomatis FP8, serta cara menstabilkan komputasi tensor presisi rendah melalui Delayed Scaling (penskalaan tertunda) dan riwayat amax, serta menyediakan tolok ukur perbandingan dengan implementasi native PyTorch (sumber: MarkTechPost)

Praktik Prediksi dan Backtesting Deret Waktu End-to-End Berbasis TimesFM 2.5 : Tutorial ini menunjukkan alur kerja prediksi deret waktu (time series) end-to-end berdasarkan model open-source Google, google/timesfm-2.5-200m-pytorch. Tutorial ini mencakup prediksi probabilitas zero-shot, backtesting rolling origin, deteksi anomali berbasis interval prediksi, serta cara mengintegrasikan kovariat numerik dan kategorikal seperti harga dan promosi ke dalam model TimesFM melalui modul XReg, guna memberikan prediksi presisi tinggi untuk skenario seperti ritel (sumber: MarkTechPost)

💼 Bisnis

CuspAI Selesaikan Pendanaan Seri B Senilai 450 Juta Dolar AS, Valuasi Mencapai 2,6 Miliar Dolar AS : Perusahaan desain material AI asal Inggris, CuspAI, mengumumkan penyelesaian pendanaan Seri B senilai 450 juta dolar AS, dengan valuasi melonjak hingga 2,6 miliar dolar AS, dipimpin oleh Kleiner Perkins and NEA, dengan partisipasi dari dana investasi milik Jeff Bezos. CuspAI mengutamakan pendekatan “desain terbalik” (reverse design), yang menghasilkan struktur material secara terbalik berdasarkan kinerja target. Perusahaan telah bermitra dengan NVIDIA, Hyundai Motor, dan lainnya untuk mendirikan bengkel material AI, yang bertujuan mempercepat penelitian dan pengembangan material semikonduktor, baterai, dan penangkapan karbon (sumber: 36氪)

CuspAI Selesaikan Pendanaan Seri B Senilai 450 Juta Dolar AS, Valuasi Mencapai 2,6 Miliar Dolar AS

RadixArk dari Tim SGLang Raih Pendanaan Lebih dari 100 Juta Dolar AS dan Rilis Kerangka Kerja Miles : RadixArk, yang diinkubasi oleh tim inti engine inferensi open-source SGLang, menyelesaikan pendanaan putaran awal (seed round) senilai lebih dari 100 juta dolar AS, dengan partisipasi dari NVIDIA, AMD, dan pencipta PyTorch. RadixArk bertujuan untuk memaksimalkan batas kemampuan GPU, dan merilis kerangka kerja pasca-pelatihan (post-training) open-source bernama Miles. Kerangka kerja ini secara mendalam menyinergikan inferensi, evaluasi, dan pembaruan parameter dalam reinforcement learning pada tingkat sistem, secara signifikan mengurangi pemborosan daya komputasi selama proses pasca-pelatihan (sumber: 36氪)

RadixArk dari Tim SGLang Raih Pendanaan Lebih dari 100 Juta Dolar AS dan Rilis Kerangka Kerja Miles

🌟 Komunitas

AI Pecahkan Masalah Matematika Picu Krisis Eksistensial di Kalangan Matematikawan tentang “Mesin Menggantikan Manusia” : Seiring dengan OpenAI Astra yang memecahkan 10 masalah matematika besar termasuk non-sofic group hanya dengan biaya 2.000 dolar AS, komunitas matematika terjerumus ke dalam emosi yang kompleks. Beberapa matematikawan secara aktif merangkul AI untuk meningkatkan efisiensi penelitian, tetapi akademisi lain seperti Kirwin Hampshire menunjukkan bahwa AI yang menghasilkan pembuktian massal yang dapat diverifikasi oleh mesin tetapi sulit dipahami secara intuitif oleh manusia, merampas kesenangan spiritual manusia dalam menjelajahi hal-hal yang tidak diketahui, memicu “krisis eksistensial” yang mendalam di kalangan matematikawan (sumber: THE DECODER)

Sam Altman Kampanyekan “Pola Asuh ChatGPT”, Sarannya Dicemooh di Platform Sosial : CEO OpenAI Sam Altman mengunggah saran agar orang tua menggunakan ChatGPT Work untuk secara otomatis menghasilkan “podcast perjalanan” berdasarkan kalender keluarga dan minat anak-anak untuk diputar dalam perjalanan ke sekolah. Saran ini ditanggapi dingin oleh pencipta “Gravity Falls”, Alex Hirsch: “Mengapa Anda tidak berbicara langsung saja dengan anak Anda?” Balasan tersebut mendapatkan lebih dari 120.000 suka, memicu kecaman luas dari komunitas tentang keterlibatan teknologi yang berlebihan dalam hubungan orang tua-anak dan melemahnya hubungan emosional manusia yang nyata (sumber: TechCrunch)

Kreator Konten Sains Hank Green Minta Maaf Secara Terbuka dan Tangguhkan Pembaruan karena Terlalu Bergantung pada Riset AI : Kreator konten sains terkenal Hank Green dicurigai oleh penonton menggunakan AI untuk menulis naskah setelah secara tidak sengaja menggunakan kata transisi dalam videonya yang menunjukkan jejak AI yang jelas. Green kemudian mengunggah permintaan maaf panjang di Reddit, mengakui bahwa ia telah mengembangkan ketergantungan yang “tidak sehat” pada AI demi mengejar produktivitas tinggi, yang mengencerkan kemurnian kreasi pribadinya. Ia akan menangguhkan atau mengurangi pembaruan saluran untuk menyusun kembali proses penelitian dan penulisan pribadinya tanpa bergantung pada AI (sumber: TechCrunch)

Platform Luncurkan Perang Pertahanan Melawan “AI Slop” (Konten Sampah AI) dan Efek Baliknya : Seiring dengan populernya AI generatif, konten berkualitas rendah merajalela. LinkedIn meluncurkan tombol pelaporan satu klik “AI Slop” yang terpisah dari sistem pelaporan tradisional, sementara Snapchat mengumumkan bahwa algoritma rekomendasi video pendek Spotlight tidak akan lagi merekomendasikan video yang sepenuhnya dibuat oleh AI. Pada saat yang sama, karena laporan kerentanan berkualitas rendah yang dibuat secara otomatis oleh AI memenuhi kotak masuk keamanan Apple, laporan kerentanan macOS asli senilai 200.000 dolar AS tidak dapat dilaporkan tepat waktu, menyoroti kerusakan ekosistem pertahanan akibat spam AI (sumber: THE DECODER)

💡 Lain-lain

Autonomous Key Luncurkan Kunci Aplikasi NFC Fisik Seharga 9 Dolar AS untuk Melawan Kecanduan Layar : Untuk mengatasi masalah aplikasi pembatas perangkat lunak yang mudah dilewati oleh pengguna sendiri, Autonomous Key meluncurkan kunci NFC fisik yang dijual hanya dengan harga 9 dolar AS. Pengguna harus memindai kunci tersebut secara fisik untuk membuka kunci aplikasi yang dibatasi, dengan batas waktu 60 menit setiap kali dibuka. Dengan meletakkan kunci di ruangan lain untuk meningkatkan hambatan fisik, dipadukan dengan analisis kebiasaan “sarkastik” yang disediakan oleh AI, alat ini membantu pengguna melawan kecanduan media sosial (sumber: TechCrunch)

Autonomous Key Luncurkan Kunci Aplikasi NFC Fisik Seharga 9 Dolar AS untuk Melawan Kecanduan Layar

Hakim Tolak Permohonan Penangguhan xAI Terhadap Larangan Aplikasi “Nudify” di Minnesota : Larangan negara bagian Minnesota terhadap aplikasi “nudify” (menelanjangi) AI tanpa persetujuan resmi berlaku. xAI menggugat larangan tersebut karena dianggap “terlalu membatasi” dan mengajukan penangguhan pelaksanaan, tetapi hakim federal Don Donovan menolak permohonan penangguhan tersebut, menunjukkan bahwa gugatan darurat xAI yang diajukan hampir tiga bulan setelah undang-undang ditandatangani dan hanya tiga hari sebelum berlaku membuktikan bahwa apa yang mereka sebut sebagai “kerugian mendesak” secara logis tidak berdasar (sumber: TechCrunch)

Pengembang Rilis Model Parameter Kosong 16,5T Vacuum 16T Secara Open-Source untuk Menyindir Perlombaan Senjata Model Besar : Menanggapi tindakan laboratorium closed-source besar yang secara membabi buta membandingkan jumlah parameter, seorang pengembang merilis model kosong dengan 16,5 triliun parameter bernama Vacuum 16T secara open-source di Hugging Face. Model ini berhasil menduduki peringkat pertama dalam jumlah parameter di Hugging Face dengan mendeklarasikan tensor bernilai nol dalam jumlah besar pada header safetensors, namun dalam transmisi aktual hanya mengonsumsi bandwidth kurang dari 1MB melalui deduplikasi, menyindir pemujaan buta industri terhadap “parameter besar” (sumber: Reddit)

Pengembang Rilis Model Parameter Kosong 16,5T Vacuum 16T Secara Open-Source untuk Menyindir Perlombaan Senjata Model Besar

Tinggalkan Balasan

Alamat email Anda tidak akan dipublikasikan. Ruas yang wajib ditandai *