2025-05-01
数学与推理模型突破
DeepSeek-Prover-V2、Mona微调、浙大vivo一次示范终身掌握等成果，显示小参数模型在数学证明、复杂操作、终身学习上实现“大模型做不到”的新技能。推理侧Scaling Law后训练化，为端侧、教育、科研场景提供低成本高性能方案，国产小模型有望率先在奥数辅导、自动定理证明等 niche 市场商业化落地。