NP难问题接近被AI破解！南航牛津爆改DeepSeek-R1推理，碾压人类27年研究

文章预览

来 源：新智元 ‍ ‍ ‍ ‍ 本文 约4000字 ，建议阅读 8 分钟 LLM离破解NP-hard问题，已经又近了一步。 给DeepSeek-R1推理指导，它的数学推理能力就开始暴涨。更令人吃惊是，Qwen2.5-14B居然给出了此前从未见过的希尔伯特问题的反例！而人类为此耗费了27年。研究者预言：LLM离破解NP-hard问题，已经又近了一步。 近期，南航、南通大学、牛津等机构的研究者发现：通过高指令的推理指令，DeepSeek-R1有望解决数学上的NP-hard问题！ 论文地址：https://arxiv.org/abs/2502.20545 NP-hard问题，是计算复杂性理论中的一类问题。它们至少和NP问题一样难，但不一定属于NP类别（即不一定中多项式时间内被验证）。 本来，DeepSeek-R1、GPT-4o、OpenAI o1-mini这些模型，是做某种数学推理难题（SoS）是很困难的，正确率也就比纯猜高一点。 但是，一旦给它们一些推理指导，所有的模型的 ………………………………