OpenAI 新框架解決九大理論計算機科學難題

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）

内容來源：TECHUB NEWS