DC娱乐网

一个50年无人能解的数学猜想,OpenAI的新模型只用不到一小时就搞定了。但别急

一个50年无人能解的数学猜想,OpenAI的新模型只用不到一小时就搞定了。但别急着欢呼——一位顶尖数学家说:它可能“作弊”了。

GPT-5.6 Sol Ultra用64个子代理并行运算,生成了Cycle Double Cover猜想的完整证明。这个图论问题自1970年代提出,无数人类数学家碰壁。

关键秘诀在提示词里:命令AI假设证明已存在,禁止它上网查是否已解决,也不许说“未解”。必须持续计算至少8小时才能放弃——结果它1小时就交卷了。

曼彻斯特大学的数学家Thomas Bloom称赞证明“非常漂亮”,简洁、初等,1980年代就能被发现。但他怒批:论文完全没有引用前人的核心工作(1983年的一篇论文),让人以为AI凭空想出了整个思路。

Bloom怀疑AI只是从文献中抓取已知策略再组合。它不气馁,不断试错,但出发点并非真正的“创造”。

问题来了:这种“不气馁的拼图”算创新吗?如果AI的突破建立在人类思想拼图上却不标注,这公平吗?

你觉得AI的“原创”需要像人类一样引用前人成果吗?留言说说你的判断。