新闻资讯7

57岁数学家投奔24岁学生，造「AI数学家」

新智元2025-12-06

AI 摘要

24岁华人女学霸Carina Hong创办Axiom Math，欲打造「AI数学家」。57岁数学家Ken Ono受研讨会冲击，辞教职加入，认为AI是新的数学研究方式，将助力模型突破。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

OpenAI发722篇数学成果搅乱学界

OpenAI公开722篇由内部未发布前沿模型生成的数学成果，覆盖多数学方向，部分附带形式化证明，发布后引发数学界巨大冲击，消化验证需数年，不少青年学者研究项目遭毁灭性打击，本文梳理各方反应与争议。

本文报道OpenAI被指截胡纽约大学数学家破解纳维-斯托克斯方程的研究成果，菲尔兹奖得主陶哲轩发文怒批，指出AI暴力介入正在摧毁数学界百年开放科学传统，引发学界热议。

在AGI Playground 2026圆桌论坛，Axiom Math联合创始人等探讨AI核心问题。提到AI进入生产环境，可验证或成瓶颈，还从长任务智能体、推理基建等多方面深入交流，如模型验证、基建优化等。

A社官宣未公开的Claude研究模型在黎曼猜想取得重大进展，将满足猜想的黎曼ζ函数零点比例下界从41.6%提高到67.2%。它靠60个智能体、3100万输出Token完成研究，几乎走完科研流程。