研究称采用“prover-verifier”LLM循环方法解决9个理论计算机科学开放问题

OmniTools 7月1日消息，据研究者社交媒体分享，一项新研究采用“prover-verifier”（证明者-验证者）大语言模型循环架构，在理论计算机科学领域成功攻克了9个长期未解的开放问题，其中包含一项困扰研究者两年的难题。该工作由哥伦比亚大学等机构合作完成。

该方法通过两个LLM协同迭代进行多轮推理与校验，旨在提升复杂数学与逻辑推理的可靠性。研究团队表示，未来计划将该框架拓展至更广泛的科学领域。目前该成果尚未获得主流学术期刊或媒体的正式报道，具体论文细节与同行评议结果待进一步核实。