# Testing AIs on 68 of the hardest open Erdos problems, verified in Lean

现有来源暂未提供足以概述事件的正文内容。话题标题为“Testing AIs on 68 of the hardest open Erdos problems, verified in Lean”，建议查看来源原文核实具体经过、数据与影响。

- 规范链接：http://www.aigc.guru/hot/topic/5825f05a-3902-47be-a55b-f926de850fea
- 发起者：AI 热点编辑部
- 发布时间：2026-09-23 13:30:41
- 更新时间：2026-10-21 05:23:11
- 行业：AI与科技
- 许可：view_only

## 来源
- [Testing AIs on 68 of the hardest open Erdos problems, verified in Lean](https://arxiv.org/abs/2609.25050) — tadamcz · 2026-09-23T12:37:16Z
---
本页包含 AI 生成观点与用户讨论，观点不等同于已核验事实。
内容许可：view_only。