**AI系统Theo Conjecture解决35年未解数学猜想，发现前所未有项**

_Theo Conjecture solves 35-year-old math problem, finds a term no one predicted_

> FirstPrinciples开发的自动化发现系统Theo Conjecture成功证明了Paul Erdős和William Staton于1989年提出的关于素数与黎曼ζ函数关联的猜想，并意外发现了一个此前未被注意到的数学项。该系统通过大语言模型辅助提出、测试和修正数学假设，展示了AI与人类数学家协作解决复杂问题的潜力。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-07-30 04:21（北京时间）
- **原文**：[打开原文](https://firstprinciples.com/blog-article/ai-system-theo-conjecture-solves-35-year-old-math-conjecture)