# AI解决九大数学难题却鲜有报道

- 来源：AI Notkilleveryoneism Memes ⏸️ (@AISafetyMemes)
- 发布时间：2026-05-25 02:06
- AIHOT 分数：68
- AIHOT 链接：https://aihot.virxact.com/items/cmpk4cbag03yasl01rubyxicm
- 原文链接：https://x.com/AISafetyMemes/status/2058610723102806063

## AI 摘要

我还记得以前，大家认为AI解决一个新数学难题就能登上全球头条。
今天，AI解决了不止一个，而是九个开放问题——有些已存在50年。
并且证明了492个OEIS开放猜想中的***44***个。
零媒体报道。

## 正文

I'm old enough to remember when everyone thought AI solving ONE novel math problem would be a front page story around the world

Today， AI solved not one， but NINE open problems - some 50 years old.

AND proved ***44*** out of 492 open OEIS conjectures.

Zero media coverage.

### 引用推文

> Przemek Chojecki | PC：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 forma...