前沿 LLM 驳倒研究者三十年 P=NP 思路，使其转而相信 P≠NP

一名研究者将 30 年积累的 P=NP 证明思路交给前沿 LLM，模型逐条驳倒了其中的推理和技巧。他因此第一次开始相信 P≠NP，这一经历展现了 LLM 作为数学论证检验工具的能力。