DeepSeek memperkenalkan Prover-V2, LLM sumber terbuka untuk bukti teorem formal dalam Lean 4. Ia memanfaatkan model DeepSeek-V3, memperluas penilaian dengan ProverBench, dan menunjukkan hasil yang menjanjikan pada masalah AIME.
Hasilkan latar belakang Google Meet yang unik dengan Gemini AI. Panduan langkah demi langkah untuk mencipta latar belakang peribadi menggunakan arahan teks, gaya seni, dan tetapan berbeza.
Google menerajui penggunaan AI dalam laporan kelestarian, meningkatkan kecekapan dan ketelusan. Ikuti penerokaan teknologi dan impaknya.
OpenAI dan Microsoft sedang merunding semula terma perkongsian untuk IPO OpenAI, memastikan akses berterusan Microsoft kepada model AI terkemuka.
Suno AI v4.5: Tingkatkan genre, emosi, kawalan dalam penciptaan muzik AI. Gabungkan gaya, vokal berkualiti, reka bentuk segera. Cipta muzik impian anda!
Tencent melancarkan model MoE sumber terbuka Hunyuan-Large, memacu inovasi dan kolaborasi dalam komuniti AI. Ia menawarkan keupayaan yang luas untuk pelbagai aplikasi.
Ketahuilah semua tentang AI generatif, daripada definisinya hingga aplikasi dan cabaran yang dihadapinya. Temui cara ia berbeza daripada AI lain dan potensi masa depannya.
Baidu memfailkan paten AI inovatif untuk menterjemah bunyi haiwan ke bahasa manusia, berpotensi merapatkan jurang komunikasi dan meningkatkan pemahaman emosi haiwan.
ChatGPT dan LLM mengubah pemasaran digital. Fokus beralih dari klik kepada sebutan jenama, memerlukan strategi yang kuat untuk AI.
Meta aktif mengejar kontrak kerajaan, khususnya dalam sektor pertahanan, dengan merekrut bekas pegawai Pentagon dan mengembangkan AI serta VR untuk aplikasi ketenteraan.
