发生了什么
Omri Weinstein 团队 解决 9个理论计算机科学开放问题
为什么值得关注
与之前 OpenAI 的 Erdős 突破不同，该工作展示了 prover-verifier LLM 循环在数学研究中的新范式，值得关注具体方法。
信息来源
以下内容来自公开来源，可打开原文继续核验。
01
AI 解决9个未解数学难题
Omri Weinstein 团队利用 prover-verifier LLM 循环成功解决了9个理论计算机科学开放问题，其中包括一个困扰研究者两年的问题。
打开原始来源 ↗