中科院院士对话北电数智AI专家：以 AI 与数学 “乘法效应” 开辟产业落地新路径
Ranking
No observed public metrics; popularity remains neutral/archived.
Merged summary
TL;DR — 材料共同关注 AI 的产业落地，但实际描述了两项不同工作：AI 与数学论坛，以及阿里灵羊 AgentOne 企业智能体平台，无法合并为同一成果。
- 论坛认为大模型可加速符号计算、猜想验证、反例搜索与文献检索，但仍缺乏可解释的数学理解。
- AI 参与科研也带来成果归属、引用及来源追溯问题。
- 北电数智展示了 AI 在医疗、制造、国产算力基础设施和大模型训练中的应用。
- 另一来源介绍了 AgentOne 的销售、客服、运营和营销智能体，可通过规划、记忆、工具调用及多智能体协作接入企业系统，并支持基于 MCP 和 Skills 定制更多岗位。
注： 量子位聚焦 AI 与数学论坛，雷峰网报道的是阿里灵羊的独立产品发布，两者并非同一项工作。
Sources (2)
中科院院士对话北电数智AI专家：以 AI 与数学 “乘法效应” 开辟产业落地新路径
TL;DR - A mathematics and AI forum explored how large models can support research and industrial applications. Experts emphasized AI’s strength in large-scale computation while warning that interpretability and genuine mathematical insight remain unresolved.
- AI can accelerate symbolic computation, conjecture testing, counterexample searches, and literature retrieval.
- Experts argued that current systems excel at pattern matching and mechanical reasoning but lack explainable mathematical understanding.
- AI-generated research raises attribution and citation-provenance challenges.
- Beidian Digital Intelligence highlighted deployments in healthcare, manufacturing, domestic computing infrastructure, and large-model training.
能干能信能打的瓴羊AI员工全面上岗，帮企业问AI要增长
TL;DR - Alibaba’s Lingyang launched four enterprise AI employees on AgentOne for sales, customer service, operations, and marketing. The platform combines governed enterprise data, agentic execution, and deployment engineers to embed auditable agents into business workflows.
- Agents use planning, memory, tool calling, and multi-agent collaboration across systems such as CRM, OA, and customer-service platforms.
- Each role is configured with business data, knowledge, permissions, tools, workflows, and measurable objectives such as ROI or resolution rate.
- Lingyang reports that Yadea’s hotline bot resolution rate increased from 20% to 42%, while its online bot reached 78%.
- Companies can build custom agents for functions such as finance, legal, procurement, and HR using MCP and Skills.