加载中…
加载中…
Techub News 消息，OpenAI 的 LLM harness 框架通过 GPT-5.5 Pro 与 Claude Opus 4.8 的协作，成功解决了九个理论计算机科学与数学领域的开放难题，相关成果于 2026 年 6 月 27 日至 30 日期间发布。 该框架采用「证明者-验证者」循环机制，由 GPT-5.5 Pro 生成候选证明方案，Claude Opus 4.8 负责验证正确性，发现漏洞后反馈修正直至验证通过。研究团队来自马里兰大学，解决的问题涵盖学习理论（COLT）、计算机科学基础（FOCS）及交换代数等多个领域，其中包括困扰研究人员多年的个人开放问题。团队表示计划将此方法扩展至更多科学领域。（cryptobriefing.com）
如您认为本页面（或本平台）内容存在侵权或违规情形，请您在发现之日起尽快与我们联系，并提供：权利人姓名/名称及联系方式、被侵权作品名称及权属证明、具体侵权链接及情况说明。我们在核实后将及时处理相关内容。
联系方式：creator@techub.news
商务合作：contacting@techub.news
点击链接下载 Techub News App，获取最新讯息：
https://www.techub.news/download
（或扫描下方二维码下载）
本网站所提供的所有信息仅供参考之用。
本网站不保证信息的准确性、有效性、及时性和完整性。
任何依赖于本网站所提供信息的行为，均由用户自行承担风险。
Techub News 消息，OpenAI 的 LLM harness 框架通过 GPT-5.5 Pro 与 Claude Opus 4.8 的协作，成功解决了九个理论计算机科学与数学领域的开放难题，相关成果于 2026 年 6 月 27 日至 30 日期间发布。 该框架采用「证明者-验证者」循环机制，由 GPT-5.5 Pro 生成候选证明方案，Claude Opus 4.8 负责验证正确性，发现漏洞后反馈修正直至验证通过。研究团队来自马里兰大学，解决的问题涵盖学习理论（COLT）、计算机科学基础（FOCS）及交换代数等多个领域，其中包括困扰研究人员多年的个人开放问题。团队表示计划将此方法扩展至更多科学领域。（cryptobriefing.com）
如您认为本页面（或本平台）内容存在侵权或违规情形，请您在发现之日起尽快与我们联系，并提供：权利人姓名/名称及联系方式、被侵权作品名称及权属证明、具体侵权链接及情况说明。我们在核实后将及时处理相关内容。
联系方式：creator@techub.news
商务合作：contacting@techub.news
点击链接下载 Techub News App，获取最新讯息：
https://www.techub.news/download
（或扫描下方二维码下载）
本网站所提供的所有信息仅供参考之用。本网站不保证信息的准确性、有效性、及时性和完整性。任何依赖于本网站所提供信息的行为，均由用户自行承担风险。
