AI日报12月24日•AIbase1、字节跳动发布 Seed Prover1.5:推动形式化数学推理的新进展2、阿里通义开源语音交互大模型Fun-Audio-Chat-8B！超低延迟，能读懂情绪3、MiniMax ...