TL;DR · 一句话结论

AI 用 prover-verifier LLM 循环攻克 9 个未解数学难题。这是一条「安全监管（Safety & Regulation）」类 AI 信号，小雯机会评分 9.5/10，风险评分 3.6/10，数据源为 AI HOT / X：AI Safety Memes (@AISafetyMemes)。

• 这是什么：AI Safety Memes 推文指出，AI 刚刚解决了 9 个未解决的数学问题，但全球没有记者报道。引用 @WeinsteinOmri 的推文称，采用"prover-verifier"LLM 循环的方法，成功解决了理论计算机科学中 9 个重大开放问题，其中包括一个困扰其长达 2 年的难题。该研究由哥伦比亚大学合作者完成，并计划将这一方法扩展到所有科学领域。
• 为什么值得关注：风险信号会变成企业预算，安全、合规、审计和治理是 AI 落地必备层。这条值得关注：AI 用 prover-verifier LLM 循环攻克 9 个未解数学难题
• 归类标签：Safety & Regulation
• 首次收录：2026-07-01，累计出现 2 次