BarunLM用35M参数挑战小模型效率，清华VeriLoop Coder-E1把验证反馈引入代码模型自我改进，AI竞争正在从单纯扩大规模转向有效参数、可验证流程和真实应用闭环。