在 AI for Math 领域，如果你一直找不到合适的资源，这份清单或许会有帮助。 刚刚，著名数学家陶哲轩的个人博客又更新了，这次他们整理了一份有用的资源列表，该资源专注于 AI for Math，专为那些希望进入数学 AI 领域的人提供帮助。 这份清单发起时间最早可 ...

而项目组长、上智院 AI Math 青年研究员、北京大学博士生马成栋则更多感受到另一种震撼。当 AI 不断突破人类直觉的边界时，甚至连解释都变得困难：「比如某些结构中没有一个球有对径球，但却保持了极高的对称性。它不只是超越了人类可以构造的范围，有时候你甚至很难第一时间解释它为什么成立。」 ...

进入2019年，当杨凯峪在ICML发表那篇关于定理证明自动化的论文时，他或许没有想到，从计算机视觉转向AI4Math的决定，正是叩响人工智能进化的另一扇门。 回顾杨凯峪的学术生涯，仿佛他的每次转折都能切中 AI 的时代脉搏，早年在计算机尚未成为热门方向时 ...

为深入AI核心命题，今年WAIC重磅提出“AI三问”——直击数学、科学和模型方向亟待探讨与思辨的前沿话题。数学之问以公理公式推演规律，建认知框架；科学之问扎根实证，探自然本质；模型之问融合二者，化抽象为实用。 三问共生，数学为科学量化，科学赋 ...

The 2024 World Artificial Intelligence Conference (WAIC) on "Mathematics and Artificial Intelligence" hosted by the Smale Institute for Mathematics & Computation(Smale Institute) concluded ...

冬天是吃橙子的季节，当你吃橙子的时候，你是否想过这样一个问题：在桌子上摆上几个橙子，让几个橙子中间围绕一个橙子，在保持互相不重叠的情况下，最多可以摆几个？在三维空间里，答案是 12 个。这就是著名的亲吻数问题。可是如果是在更高维的空间里呢？这个连牛顿也没想明白的几何难题，困扰了人类三百多年。 最近，上海科学智能研究院（下称上智院）与北京大学、复旦大学的联合研究团队打造了一个名为 PackingSt ...

本届人工智能大会的论坛有点不一样。 7月26日，2025世界人工智能大会在沪开幕。为了让大会论坛更具思辨性，本届大会特意设置了“AI三问”系列论坛，将学界与业界的专家聚焦起来，一同探讨AI在数学、科学、模型领域最关键的行业问题。 大会开幕两日来 ...

为深入AI核心命题，今年WAIC重磅提出“AI三问”——直击数学、科学和模型方向亟待探讨与思辨的前沿话题。数学之问以公理公式推演规律，建认知框架；科学之问扎根实证，探自然本质；模型之问融合二者，化抽象为实用。 三问共生，数学为科学量化，科学赋 ...

上证报中国证券网讯（记者 宋薇萍）当大模型步入深水区，人工智能对基础理论的“渴望”前所未有，而作为万物计算之本的数学，也迎来一场属于自己的“高光时刻”。7月26日在上海召开的2025世界人工智能大会（WAIC）期间，主题论坛“人工智能的数学边界与 ...

本届人工智能大会的论坛有点不一样。为了让大会论坛更具思辨性，本届大会特意设置了“AI三问”系列论坛，将学界与业界的专家聚集起来，一同探讨AI在数学、科学、模型领域最关键的行业问题。 大会开幕两日来，系列论坛上嘉宾们的观点层出不穷，问题 ...