中科院院士对话北电数智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.