谷歌 AI 系统 AlphaEvolve 获陶哲轩团队认可：使大规模数学研究成为可能
谷歌 DeepMind 开发的 AI 工具 AlphaEvolve 在数学研究中展现出高效性，能快速解决优化问题，甚至生成更优解。数学家陶哲轩表示，该系统为数学研究提供了全新范式。 #AI数学研究# ...
排序
OpenAI 布罗克曼：GPT-5.2 Pro 再次破解公开数学难题，获陶哲轩认可
OpenAI总裁格雷格·布罗克曼转发消息称，GPT-5.2 Pro成功破解了一个著名的Erdős数学难题。数学家陶哲轩表示，这可能是“AI解决开放问题的一个最明确的案例”。他强调，AI在草拟...
陶哲轩：AI 辅助数学证明如同汽车冲击城市，需构建新型基础设施
数学家陶哲轩将 AI 对数学的影响比作汽车冲击城市。他指出，AI 生成的证明虽快，但缺失了人类探索过程中锤炼能力、发现新方向等“附加价值”。他主张创建适配 AI 的新型数学基础设施，并提议建立“AI ...