Buletin AI Harian Berita AI – 2025-08-05(Edisi pagi) AGIBenchmark Matematika SeedProverDeepMindFungsi Universal λ-KalkulusKontrol Vektor Kepribadian AIModel LLM Sumber Terbuka KecilModel Video AIpenalaran matematikaRisiko Kecerdasan BuatanTencent HunyuanVideo AI Ekspresi Emosional