菲尔兹奖得主都看懵了：OpenAI非数学模型首次自主突破80年未解数学难题
量子位1081 字 (约 5 分钟)
85
OpenAI的通用推理模型首次自主解决了存在80年的数学难题——埃尔德什单位距离问题，证明其增长速度为超线性，颠覆了数学界的长期共识。
入选理由：OpenAI通用模型通过代数数论方法证明单位距离问题下界为超线性，推翻80年来的线性增长假设。
精选文章#OpenAI#数学建模#AI突破#通用模型#埃尔德什问题中文
人物
Thomas Bloom
别名：thomasfbloom
数学家，验证模型证明
已跟踪 2 条高相关材料
TraeAI 观察
最近变化
2026-07-19 · GPT 5.6 Sol在Erdos问题证明中展现正确性
为什么值得关注
Thomas Bloom 被反复提及时，通常意味着它正在影响产品路线、开发者工作流或 AI 产业判断。这个页面把分散材料合并成一个可持续更新的观察入口。
AIAI突破GPTOpenAI埃尔德什问题
相关材料
已收录 2 条与 Thomas Bloom 相关的内容，按评分排序。
Feels like a watershed moment for advancing mathematics. Scientific and medical advances which can r...
Greg Brockman(@gdb)124 字 (约 1 分钟)
60
GPT 5.6 Sol在数学证明领域展现潜力，但缺乏技术细节和工程实践指导。
入选理由：GPT 5.6 Sol在Erdos问题证明中展现正确性
精选推文#AI#数学#GPT#研究中英混合