俄罗斯数学家格里戈里·佩雷尔曼无疑是21世纪数学界最耀眼也最神秘的明星。2002年至2003年间，他在互联网上发布的三篇预印本论文彻底解决了困扰数学界近百年的庞加莱猜想，这个拓扑学中的核心问题曾被美国克雷数学研究所列为七个"千禧年大奖难题"之一。佩雷 ...

2025 年 7 月 26 日，上海世博展览馆迎来一场聚焦 "人工智能的数学边界与基础重构" 的高端论坛。作为世界人工智能大会（WAIC）的重要组成部分，这场由上海市普陀区人民政府与菲数中国主办、上海市人工智能行业协会和上海东浩兰生威客引力信息科技有限公司联合承办的盛会，正成为全球关注的焦点。当 AI 技术与数学研究进入深度交织的新阶段，2025 WAIC的召开恰如一场及时雨，为二者的协同发展搭建 ...

深夜的北大，在数院数学楼群中孤独地亮着。43岁的袁新意教授俯身案前，铅笔在稿纸上沙沙作响。当北京夏夜晚风掠过林梢，他的笔尖正停在一个关键的证明环节。忽然，他划去三行算式，在页边写下新注：“需补充p进Hodge理论的收敛性讨论”。书架上，国际数学奥林匹 ...

他们首先建立了包含Caputo导数定义的关键引理，通过引入比较原理和二次Lyapunov函数，构建了系统的稳定性判据。 最具创新性的是提出了非齐次线性时变状态反馈控制律 (NHLTV-SFCL)，这种控制架构允许额外输入函数的存在，大大增强了系统的控制自由度。

他还观察到，随着 AI 辅助工具的完善（如自动引理推荐、证明路径预测），de Bruijn 因子正快速下降，未来有望降至 1 以下，这将彻底改变数学研究 ...

他还观察到，随着 AI 辅助工具的完善（如自动引理推荐、证明路径预测），de Bruijn 因子正快速下降，未来有望降至 1 以下，这将彻底改变数学研究 ...

他还观察到，随着 AI 辅助工具的完善（如自动引理推荐、证明路径预测），de Bruijn 因子正快速下降，未来有望降至 1 以下，这将彻底改变数学研究 ...

当 AI 技术与数学研究进入深度交织的新阶段，2025 WAIC的召开恰如一场及时雨，为二者的协同发展搭建了关键对话平台。

他还观察到，随着 AI 辅助工具的完善（如自动引理推荐、证明路径预测），de Bruijn 因子正快速下降，未来有望降至 1 以下，这将彻底改变数学研究的效率。 AI 在规律发现与猜想生成上的能力也日益凸显，开始在数据中挖掘人类难以察觉的数学关联。