就这样，经过14轮连续对话，研究人员让GPT-4对3-13步的历史内容，梳理出一个证明思路。
对此，GPT-4的总结中，突出显示的两个部分是研究后续证明的2个关键点。
第4点建立了一个基本的直觉，即一旦证明了极难CSP的存在，就可以使用「矛盾证明」来证明这些问题无法在多项式时间内求解。
而第6点恰好成为后续证明工作的通用模式。
从下一轮开始，研究人员便遵循这一初步方案，严格地进行证明。
然后，研究者按照草稿，在随后的83轮对话中进行了严格的推理。
而这97轮对话，可以说构建出了一个极难的NP完全问题，其中一些实例在时间复杂度低于
