同调证明 P ≠ NP：范畴框架下的计算拓扑

同调证明 P ≠ NP：范畴框架下的计算拓扑
A Homological Proof of P != NP: Computational Topology via Categorical Framework

arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都认同并接受了我们开放、社群、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？了解更多关于arXivLabs的信息。

## P != NP 证明声明：怀疑与审查一篇声称使用计算拓扑和范畴论证明 P ≠ NP 的论文在 Hacker News 上出现，引发了大量讨论。作者声称提供了一个在 Lean4 中经过机器验证的证明，但多位数学家迅速发现了潜在的缺陷。具体而言，提出的问题包括论文中明显错误的定理、关键声明之间的矛盾以及未定义的数学概念。人们还担心论文的风格类似于 AI 生成的内容，以及相关代码库的不可访问性。讨论强调了验证如此复杂的证明的挑战，即使经过形式化处理，其有效性也取决于问题最初嵌入到范畴论中的准确性。缺乏合作作者或导师参与也被认为是这种规模声明的罕见现象。总而言之，社区仍然持高度怀疑态度，并指出最近出现了一种频繁的、未经证实的 P ≠ NP “证明”在线出现的趋势。需要专家进行进一步调查以评估此声明的有效性。

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

同调证明 P ≠ NP：范畴框架下的计算拓扑 A Homological Proof of P != NP: Computational Topology via Categorical Framework

同调证明 P ≠ NP：范畴框架下的计算拓扑
A Homological Proof of P != NP: Computational Topology via Categorical Framework