# AI 改变数学的又一例证

- 来源：Haider. (@haider1)
- 发布时间：2026-04-09 07:50
- AIHOT 链接：https://aihot.virxact.com/items/cmnw1yw7n01e1slc3dwstzqim
- 原文链接：https://x.com/haider1/status/2042027209276227839

## AI 摘要

GPT-5.4 Pro 与 Aristotle 合作解决两道研究级数学难题，包括悬而未决 60 余年的 Erdős Problem #650。数学家陶哲轩称，AI 在数学发现方面已不再是炒作。

## 正文

another example of how AI is starting to change mathematics

"gpt-5.4 Pro， alongside Aristotle， helped solve two research-level mathematics problems， including Erdős Problem #650， which had remained open for more than 60 years"

even terrance tao recently said that AI is no longer hype when it comes to mathematical discovery