菲尔兹奖得主高尔斯教授使用未公开的ChatGPT 5.5 Pro,在一小时内解决了一个长期悬而未决的组合数学难题。这一突破挑战了学界对大模型只能“背书”而非真正理解高深数学的传统认知,引发对AI数学能力的重新审视。
剑桥大学数学教授、菲尔兹奖得主 Timothy Gowers 分享使用未公开的 ChatGPT 5.5 Pro 进行数学研究的经历。该AI模型在一小时内解决了一个组合数学开放性问题,引发学术界对AI数学能力的关注。Gowers指出,大语言模型在数学领域的应用已从早期只能寻找已知信息,发展到能解决开放性问题。
高德纳惊叹AI一小时解决其钻研数周的数学难题。这位计算机科学泰斗在短文中透露,Claude Opus 4.6仅用一小时就破解了他可以追溯到30年前的数学问题,展现了人工智能在逻辑推理领域的惊人潜力。
OpenAI的GPT-5.2Pro模型在研究员推动下,成功协助解决了数论领域的“埃尔德什难题”第281号,被数学家陶哲轩评价为AI解决开放性数学问题的重要案例。
Openai
$2.8
Input tokens/M
$11.2
Output tokens/M
1k
Context Length
Xai
$1.4
$3.5
2k
$7.7
$30.8
200
-
Anthropic
$7
$35
Google
$2.1
$17.5
$21
$105
$0.7
Alibaba
$4
$16
$1
$10
256
$6
$24
Baidu
128
$2
$20
Moonshot
Bytedance
$0.8
32