# AI 用 prover-verifier LLM 循环攻克 9 个未解数学难题

- 来源：AI Notkilleveryoneism Memes ⏸️ (@AISafetyMemes)
- 发布时间：2026-07-01 06:32
- AIHOT 分数：76
- AIHOT 标记：精选
- AIHOT 链接：https://aihot.virxact.com/items/cmr190seo00nsslnlxmfddenz
- 原文链接：https://x.com/AISafetyMemes/status/2072085914558558402

## 精选理由

如果属实，这将是 AI 首次批量解决实质性开放数学问题，但消息仅来自推文声明，未见论文或代码，现在兴奋还太早。

## AI 摘要

AI Safety Memes 推文指出，AI 刚刚解决了 9 个未解决的数学问题，但全球没有记者报道。引用 @WeinsteinOmri 的推文称，采用“prover-verifier”LLM 循环的方法，成功解决了理论计算机科学中 9 个重大开放问题，其中包括一个困扰其长达 2 年的难题。该研究由哥伦比亚大学合作者完成，并计划将这一方法扩展到所有科学领域。

## 正文

AI 解决的数学难题不是一道，而是 ***九道***。

再一次，这样的大事没能成为全球新闻，全地球没有一个记者认为这值得报道。

引用 @WeinsteinOmri：即使是 OpenAI 最近的 Erdős 突破，也没能让我相信大语言模型能做通用数学研究。而这件事改变了我的看法。

通过一个巧妙的"证明者-验证者"大语言模型循环，该框架解决了理论计算机科学中的 9 个重大未解问题，其中包括一个让我整整两年夜不能寐的问题。

令人惊叹的工作，由我此前在哥伦比亚大学的合作者 @binghuip、@runzhou_tao、Steven Wang 和 @HantaoYu_Theory 完成。

计划是将这一方法扩展到所有科学领域。敬请期待。

### 引用推文

> Omri Weinstein：Even @OpenAI's recent Erdős breakthrough didn't convince me that LLMs can do general math research. This changed my mind.. Using a clever 'prover-verifier' LLM ...