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強化學習顯著提升了推理能力和效率。該功能強調隱私保護，並僅對部分用戶開放。