RecodeX 重构消息，OpenAI于2026年5月20日宣布，其未公开的AI模型推翻了匈牙利数学家Paul Erdős在1946年提出的一个猜想，这是AI首次产出具有历史意义的数学证明。8月1日，OpenAI再次宣布其Astra模型解决了10项数学进展，包括Erdős提出的另外三个问题。普林斯顿大学数学家Noga Alon表示，这些模型正在极大改变数学研究方式。此外，英国数学家Thomas Bloom创建的erdosproblems.com网站已成为AI解决数学问题的试验场，社区成员包括客服人员与菲尔兹奖得主陶哲轩等。