Hacker News 社区正在热议关于“GPT-5.6 Sol Ultra”已证明“循环双覆盖猜想”（Cycle Double Cover Conjecture）的说法。讨论重点涵盖以下几个方面： * **数学意义：** 用户对比了 AI 生成内容（如博客文章或软件）的平庸感，与解决长期存在的“纯数学”难题的严肃性，后者被视为人类知识库中永久性的贡献。 * **验证疑虑：** 由于该证明篇幅较短，且缺乏形式化验证（如通过 Lean 证明助手）或同行评审，人们持高度怀疑态度。批评者担忧其中可能存在错误，且因该证明依赖基础方法，缺乏“理论构建”的复杂性。 * **AI 研究的未来：** 评论者讨论了企业投入巨额推理成本来解决著名开放性问题的可能性。一些人认为这是展示大语言模型（LLM）潜力的突破，另一些人则认为在没有形式化验证的情况下，此类公告尚显草率。 * **过程：** 该讨论串还探讨了所使用的提示词策略，特别是通过指令要求 AI 在该问题上“至少花费 8 小时”，以防止其过早停止推理。