DeepSeek memperkenalkan Prover-V2, LLM sumber terbuka untuk pembuktian teorema formal dalam Lean 4. Model ini menggunakan DeepSeek-V3 dan ProverBench untuk evaluasi komprehensif, menjembatani penalaran matematika formal dan informal.
Elon Musk melibatkan publik meningkatkan Grok AI. Dataset unik fokus tantangan "galaxy brain", melewati batasan AI konvensional.
Temukan cara membuat latar belakang Google Meet unik menggunakan Gemini AI. Personalisasi ruang virtual Anda dan buat setiap rapat lebih menarik dengan panduan langkah demi langkah ini.
Google mempelopori penggunaan AI dalam laporan keberlanjutan, meningkatkan efisiensi dan menyederhanakan proses. Langkah inovatif ini menetapkan standar baru bagi perusahaan lain.
Malaysia berpeluang memanfaatkan revolusi AI sumber terbuka Tiongkok, khususnya dengan munculnya LLM seperti DeepSeek R1 yang terjangkau dan membuka peluang inovasi lokal.
Pengguna aplikasi Meta mungkin terganggu oleh chatbot AI yang otomatis aktif. Kekhawatiran privasi data muncul karena fitur ini sulit dinonaktifkan, memicu kritik tentang transparansi dan kendali pengguna.
OpenAI dan Microsoft menegosiasikan ulang persyaratan kemitraan mereka menjelang IPO OpenAI. Negosiasi ini menyangkut ekuitas, akses ke teknologi AI, dan pembagian pendapatan, yang mencerminkan lanskap AI yang berkembang pesat.
Suno AI v4.5 hadir dengan genre yang ditingkatkan, emosi, dan kontrol dalam kreasi musik AI, merevolusi cara pengguna menggubah dan berekspresi.
Tencent meluncurkan model MoE open-source Hunyuan-Large, menawarkan kemampuan canggih dalam berbagai tugas, termasuk pembuatan teks, matematika, dan pengetahuan. Inisiatif ini bertujuan mendorong kolaborasi dan inovasi dalam komunitas AI.
Pelajari semua yang perlu Anda ketahui tentang AI generatif, dari cara kerjanya hingga aplikasinya, tantangannya, dan masa depannya. Temukan bagaimana teknologi ini mengubah cara kita membuat konten.
