谷歌给「AI解数学题」神话降温：能摘低垂果实，但过程依然痛苦

背景：谷歌研究团队利用Gemini AI系统对Erdős问题数据库中的开放猜想进行半自动数学探索，旨在评估AI在数学发现中的实际能力。研究目的：通过构建Aletheia智能体，系统性地验证AI能否有效解决或推进未解决的数学问题，并分析其过程中的挑战与局限性。结论：AI能够识别并解决部分“低垂果实”类问题，成功推进了13个猜想，其中5个为自主解决。然而，研究揭示了AI辅助数学研究的重大困难，包括大量时间消耗于核验错误、题意误解及文献溯源，并凸显了“潜意识抄袭”风险。这表明AI虽具加速潜力，但当前仍需人类专家深度介入，且需对题意一致性与文献严谨性保持高度警惕。