← 返回话题列表

# 菲尔兹奖

相关话题

2026-05-09

AI数学推理登顶

未公开的ChatGPT 5.5 Pro与谷歌“AI联合数学家”在一小时内分别攻克博士级组合难题与群论悬案，首次被菲尔兹奖得主公开背书，标志着大模型从“背公式”跃进到“原创证明”，冲击数学研究范式。
数学推理 ChatGPT5.5 群论 菲尔兹奖 科研范式
📰 3 条相关内容 查看详情 →
2024-04-09

AI颠覆数学研究范式

菲尔兹奖得主陶哲轩等领衔的《美国数学学会通报》特刊集中发表11篇论文，系统展示大模型在猜想生成、证明辅助与形式化验证中的突破性应用，预示AI将重塑数学发现与验证流程。
AI数学 陶哲轩 形式化证明 菲尔兹奖 数学自动化
📰 2 条相关内容 查看详情 →