17岁高中生用课间时间破解困扰数学界46年的难题，这套可复刻的AI+数学工作流，让普通人也能触及研究前沿。
智能速览
埃尔德什难题平台成为普通人接触前沿的入口
ChatGPT+Aristotle+Lean构成完整研究工具链
六步标准化流程让数学研究门槛大幅降低
AI负责机械工作，人类专注创造性思考
数学研究从天才游戏转变为协作模式
精华内容
这场破解不仅是一个少年的成功，更揭示了AI时代数学研究的全新可能。
难题背景
埃尔德什是20世纪最传奇数学家，一生提出1100多个数学难题。第347号难题要求构造一个满足两个条件的无限整数序列：相邻项比值趋于2，且所有自然数都能用序列中不同项的和表示。这道题困扰数学界46年，无数数学家尝试失败。
核心工具
破解过程依赖四个关键工具：Erdős Problems网站提供1100多个难题的开放平台；ChatGPT负责文献检索和LaTeX代码生成；Aristotle将数学证明转化为计算机语言；Lean进行严格的形式化验证，确保每一步推理正确。这些工具全部开源免费。
六步流程
第一步在Erdős Problems网站筛选难题；第二步用AI检索文献，关注学界讨论；第三步人类理解核心逻辑；第四步用GPT Codex生成LaTeX证明；第五步用Aristotle+Lean验证；第六步公开发布等待学界确认。整个流程标准化，每步都可复制。
人机协作
AI包揽了文献检索、公式排版、步骤验证等繁琐工作，把时间从几天压缩到几分钟。但人类负责关键的创造性工作：判断哪个思路值得尝试、理解核心逻辑、发现AI可能生成的伪证明。这种协作模式大幅提升了研究效率。
AI正在重塑数学研究的规则，降低了天赋和资源门槛。未来数学研究的关键，不是AI替代人类，而是学会与AI正确协作。普通人掌握这套方法论，同样能在数学领域做出突破性贡献。
