人工智能在数学研究领域取得重大进展。[1]OpenAI于2026年5月20日宣布其内部AI模型找到了匈牙利数学家埃尔多斯提出的"单位距离问题"的反例。[1]同样推进这一领域的Google DeepMind在1月份利用Gemini模型解决了4个埃尔多斯问题，并发现了9个遗忘的解决方案。[1]DeepMind团队声称其最强Agent自主解决了9个埃尔多斯问题，每个问题的成本仅为几百美元。[1]
这些突破激发了更广泛的学术参与。由业余爱好者、学生和专业数学家组成的社区利用公开的大语言模型工具，在数学家Thomas Bloom创建的erdosproblems.com网站上协作求解问题。[1]截至相关报道发表时，该数据库中已有565个问题被解决，652个问题仍待突破。[1]顶级数学家对这些成果给予了认可，Fields奖得主Tim Gowers评价OpenAI的证明称："如果一个人类提交给《数学年鉴》，我会毫不犹豫地推荐接受"。[1]这一成就还吸引了学术界的关注——2026年7月，Fields奖获得者Tsimerman宣布离开学术界加入OpenAI。[1]
Artificial intelligence systems have achieved a significant breakthrough in pure mathematics by resolving multiple classic problems posed by Hungarian mathematician Paul Erdős. [1] On May 20, 2026, OpenAI announced that its internal AI model discovered a counterexample to Erdős's "unit distance problem," marking a major milestone in AI-assisted mathematical research. [1] Google DeepMind separately employed its Gemini model to solve four problems in January 2026 and identified nine previously overlooked solutions. [1]
The scale of these accomplishments underscores the growing capability of AI in tackling long-standing mathematical challenges. DeepMind's research team claimed that their most advanced agent autonomously solved nine Erdős problems, with each problem requiring a computational cost of several hundred dollars. [1] As of the article's publication, the database maintained by Thomas Bloom on erdosproblems.com contained 565 solved problems and 652 open problems. [1] The initiative has fostered a collaborative community comprising amateur enthusiasts, students, and professional mathematicians who utilize publicly available large language model tools to work on additional problems through the platform. [1]
The mathematical establishment has begun acknowledging the validity of these AI-generated proofs. Tim Gowers, a prominent mathematician, assessed OpenAI's proof by stating: "If a human submitted this to Annals of Mathematics, I would recommend acceptance without hesitation." [1] In July 2026, Tsimerman, a Fields Medal recipient, announced his departure from academia to join OpenAI. [1]