从大模型到智能体：50+头部企业的AI进化实践

小米小爱同学：资源受限下，实现端侧大模型的高性能推理

阿里云客服Agent业务提效实践：灵活可控的落地方法论

大语言模型离“数学证明高手”还有多远？斯坦福、伯克利、MIT团队提出IneqMath评测标准