均轮到底：LLM攻克复杂数学难题，有力反驳AI推理“撞墙论”

本文源于Hacker News对《Epicycles All the Way Down》一文的讨论。评论区的核心焦点在于近期LLM在没有任何人工辅助的情况下，成功解决了困扰专家多年的埃尔德什问题1196（Erdos problem 1196）。这一成果有力反驳了“大模型推理能力已触及天花板”的观点。讨论中虽有声音质疑这是否属于“纯LLM”还是“AI求解器增强版”，但共识认为垂直化、系统化的技术演进（如搜索与求解的结合）正释放出巨大的剩余潜力。