AI 导读
Google DeepMind 团队又解出 9 个 Erdős 开放问题。作者引用的内容提到，解题过程是 LLM 与 Lean 智能体自主运行，只有在经过形式化验证之后才进入人工复核。作者认为这不应被低估，因为它一方面加大了竞争压力，另一方面也说明其他前沿实验室能够轻松跟上。
正文
Nine more Erdős problems have been solved.
This time, however, by Google DeepMind.
This shouldn't be underestimated, because on the one hand it increases competitive pressure, and on the other hand it proves that the other Frontier Labs can easily keep up.
Another 9 open Erdos problems solved, this time by DeepMind team. Interesting loop of LLM - Lean agents working autonomously, and only after it's verified formally, going through human review.在 X 查看被引用的帖子
来源：@kimmonismus · x.com