2026-07-25

AI数学推理突破与顶尖科学人才融合

GPT-5.6与Grok先后自主证伪30年图论猜想,菲尔兹奖得主王虹、邓煜获奖并跨界参与AI研究,顶尖数学家加入OpenAI,标志着AI在基础数学领域实现质的飞跃,数学与AI的深度融合正成为驱动前沿突破的核心引擎。
2026-07-24

AI for Science与科研范式变革

GPT-5.6以极简提示推翻近30年数学猜想,AI在基础科研中的推理能力引发“菲尔兹奖能否撑到2030”的热议。同时,AI驱动蛋白质设计、基因编辑工具优化等成果密集发表,显示人工智能正加速渗透数学、生命科学等领域并重塑科研范式。
2026-05-09

AI数学推理登顶

未公开的ChatGPT 5.5 Pro与谷歌“AI联合数学家”在一小时内分别攻克博士级组合难题与群论悬案,首次被菲尔兹奖得主公开背书,标志着大模型从“背公式”跃进到“原创证明”,冲击数学研究范式。
2024-04-09

AI颠覆数学研究范式

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