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

南航、南通大学和牛津等机构研究发现，通过高指令推理指导，DeepSeek-R1等大模型在解决数学难题上表现出色。特别是Qwen2.5-14B-Instruct-1M给出了此前未见的希尔伯特第十七问题反例，而这一成果之前耗时27年才被人类发现。研究显示，未提供推理指导时，SOTA模型准确率仅略高于随机猜测基线，但使用高质量推理轨迹提示后，准确率最高提升了21%。此外，预训练7B模型经微调后准确率从54%提升至70%，超越更大规模模型。SoS Reasoning五步框架成为LLM解决数学研究级问题的基础，极大扩展了它们的能力范围。
来源：https://mp.weixin.qq.com/s/VEXAer4rfGg9pZ5W4ORjnA