王坚与励建书对谈AI与数学关系

2026年10月15日，在第六届智能计算创新论坛上，王坚与励建书围绕“AI+Maths：Evolution and Eternity”展开对谈，讨论AI与数学的关系。励建书认为AI不会终结数学，反而可能帮助数学家跨越难题、发现更广阔的数学世界，并称数学正站在类似微积分诞生前夕的节点；他提到OpenAI公布的722个问题，其证明仍需进一步核实。王坚则提出AI的尽头应是脑力而非电力，未来科学AI不应依赖某一家公司的模型。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。