人机协作研究
-
17岁高中生借力AI攻克数论难题，陶哲轩、Jeff Dean盛赞，数学研究进入人机协作新时代
我的 17 岁，是坐在教室里苦哈哈地刷数学卷子；而这个名叫 Enrique Barschkis 的高中生，利用课间休息时间，成功解决了困扰数学家多年的埃尔德什第 347 号问题。 这一成就不仅在社交平台 X 上引发热议，更得到了谷歌首席科学家 Jeff Dean 的盛赞。 什么是埃尔德什第 347 号问题？ 埃尔德什第 347 号问题，最初由埃尔德什和格雷厄…
-
AI数学协作新范式：从Erdős问题到形式化验证的Gemini 2.5深度思考实践
在数学研究的漫长历史中，人类智慧始终是推动学科发展的核心动力。然而，随着人工智能技术的飞速演进，特别是大语言模型在复杂推理领域的突破，数学研究的方法论正在经历一场静默而深刻的变革。近期，围绕著名数学家保罗・厄尔德什（Paul Erdős）遗留问题#367的解决过程，生动展现了AI如何从辅助工具演变为协作伙伴，并催生出“人类提出猜想-AI生成证明-专家优化验证…
