AI日報:字節發佈Seed Prover1.5;MiniMax M2.1開源;通義開源語音交互大模型Fun-Audio-Chat-8B
歡迎來到【AI日報】欄目!這裏是你每天探索人工智能世界的指南,每天我們爲你呈現AI領域的熱點內容,聚焦開發者,助你洞悉技術趨勢、瞭解創新AI產品應用。新鮮AI產品點擊瞭解:https://app.aibase.com/zh1、字節跳動發佈SeedProver1.5:推動形式化數學推理的新進展字節跳動Seed團隊推出的SeedProver1.5在形式化數學推理領域取得重要突破,其通過Agentic強化學習顯著提升了推理能力和效率。該功能強調隱私保護,並僅對部分用戶開放。