AI日报AI日报 – 2025-09-12(晚)AaronLytics棒球AIAI教练AI数学验证AI数据中心AI模型架构AI科研加速AI聊天机器人Gauss自动形式化智能体Qwen3-Next架构SB 243法案Verificação Matemática por IAVerificación matemática con IAVerifikasi matematika AIWALL-OSS机器人ИИ-верификация математикиالتحقق الرياضي بالذكاء الاصطناعي具身智能自动驾驶
