内容
精选全部 AI 动态AI 日报主题收藏
接入
Agent 接入
更多
关于更新日志反馈
京ICP备2026012723号-2
原文
Rohan Paul@rohanpaul_ai
36
2026-07-23 12:46· 1天前
跳到正文
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 ZoneraichProud to say that Devin has cracked three more unsolved problems today 1) REFUTED: Graffiti Conjecture 154 (open for ~40 years) 2) PROVED: Graffiti Conjectures ...
大佬观点推理
在 X 查看原推导出 Markdown
Rohan Paul@rohanpaul_ai · X
36导出 Markdown
2026-07-23 12:46·1天前
在 X 看原推· x.com
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 ZoneraichProud to say that Devin has cracked three more unsolved problems today 1) REFUTED: Graffiti Conjecture 154 (open for ~40 years) 2) PROVED: Graffiti Conjectures ...
大佬观点推理
在 X 查看原推x.com