AI导航

陶哲轩与Google DeepMind合作的研究展示了AI进化算法AlphaEvolve在数学构造发现中的突破性进展。该系统结合大语言模型与进化计算，能够在67个数学问题上自主发现新构造，部分成果甚至超越已知最优解。研究提出了“大规模建构性数学”新范式，通过多AI工具协同工作流实现从直觉发现到形式化验证的完整研究过程，为数学研究开辟了新途径。

OpenAI研究人员宣称GPT-5『发现』10个数学难题解决方案引发轰动，后被证实仅为文献检索结果而非真正解题能力，导致DeepMind CEO Demis Hassabis和Meta首席AI科学家Yann LeCun等学界权威的强烈质疑，引发关于AI技术宣传边界和科学严谨性的深度讨论。