@RayFernando1337: 需要帮助：请数学专家验证问题是否已解决。
摘要
Kyle Kabasares 声称使用 OpenAI 的 ChatGPT-5.5 Pro 生成了一个候选反例，针对 Don Knuth 的《计算机程序设计艺术》中的一个未解决问题，并请求验证。
需要帮助：请数学专家验证问题是否已解决。
查看缓存全文
缓存时间: 2026/06/27 05:51
Kyle Kabasares (@kylekabasares): 我可能让 @OpenAI 的 ChatGPT-5.5 Pro 生成了一个针对唐·克努斯《计算机程序设计艺术》中一个未解决问题的候选反例。
第4卷、第8A分册中的练习210（https://t.co/aAj3vppEsm，第55页）提出了一个关于生成函数分母的问题。
相似文章
陶哲轩关于雅可比猜想反例的ChatGPT对话
陶哲轩分享了一段ChatGPT对话，探讨雅可比猜想的一个反例，展示了AI辅助数学推理。
@wtgowers: 我也开始尝试让 AI 解决数学中的开放性问题。更准确地说，我把 Melvyn Nathanson 提出的几个问题提交给了 ChatGPT 5.5 Pro……
Tim Gowers 报告称，他使用 ChatGPT 5.5 Pro 尝试解决由 Melvyn Nathanson 提出的数学开放性问题。
人类数学家正在被反例超越
包括ChatGPT和OpenAI的Sol在内的人工智能系统，已经驳斥并完全形式化了Erdős单位距离猜想，标志着人工智能辅助数学的一个里程碑。文章讨论了这一过程及其对数学证明验证未来的影响。
@rohanpaul_ai: 一位数学家使用GPT-5.6解决曾经被认为无法企及的数学问题。“我只需运行CodeX来完成所有这些探索……”
一位数学家使用GPT-5.6和CodeX解决以前棘手的数学问题，显著加快了探索和技术工作的速度。
我最近使用 ChatGPT 5.5 Pro 的一次体验
数学家 Timothy Gowers 讲述了 ChatGPT 5.5 Pro 如何在约一小时内、几乎不需要人工干预的情况下，产出了博士级别的数学研究成果——解决了一篇组合数学/加法数论论文中的若干开放问题。这一经历促使他大幅修正了对大语言模型数学能力的评估。