# Devin 一周攻克三项数学未解难题

- 来源：Rohan Paul (@rohanpaul_ai)
- 发布时间：2026-07-23 12:46
- AIHOT 分数：36
- AIHOT 链接：https://aihot.virxact.com/items/cmrx1cdoc00furoqpzkf0oo7i
- 原文链接：https://x.com/rohanpaul_ai/status/2080152455439110243

## AI 摘要

AI 智能体 Devin 在一周内攻克三项数学未解难题：驳斥了开放约 40 年的 Graffiti 猜想 154，证明了 Graffiti 猜想 39 和 40，并驳斥了开放约 20 年的 Brandt 正则超图问题。Rohan Paul 评论称，这是 AI 数学能力最慢的时刻，任何答案可验证的问题都可能以推理速度被解决。

## 正文

Another Math win for AI.

2 conjectures from the 80s and one from 2002 all died this week.

and this is the slowest AI math will ever be.

Any problem with a checkable answer can be potentially solved at the speed of inference.

Mathematical knowledge has always grown at the pace of human patience， but now that has been replaced with compute， and compute compounds.

### 引用推文

> Jared Zoneraich：Proud to say that Devin has cracked three more unsolved problems today 1) REFUTED: Graffiti Conjecture 154 (open for ~40 years) 2) PROVED: Graffiti Conjectures ...