前言
在数学发展的坐标系里，每个重要突破都是前人智慧的迭代与超越。当代数学工作者站在巨人的肩膀上，既见证着历史，也在创造历史，既有自我的挑战，也有来自AI的挑战。
从算筹到超级计算机，从莎草纸到arXiv预印本平台，数学记录的载体在变，但数学人追求真理的初心未改。我们最终会理解：历史终将公正地铭记那些推动文明前进的头脑。这或许就是数学给予见证者们最丰厚的馈赠------在永恒真理的星河中，每颗真诚思考的心灵都会找到属于自己的坐标，历史不会亏待她的见证者。
菲尔兹奖"双星"持续刷屏：从外交部点赞到丘成桐作诗，中国数学的夏天刚刚开始
7月23日王虹和邓煜在费城拿下菲尔兹奖的消息，过去这一周不仅没降温，反而越烧越旺。从外交部到普通网友，从纸媒到短视频，几乎每个角落都在讨论这俩名字。
先看官方态度。7月31日的外交部例行记者会上，发言人直接回应了这件事，说这"不仅是个人奋斗的成果，更是当代中国青年蓬勃向上的写照，体现了敢闯敢拼的自信和勇气"。新华社、人民日报接连发文评论，人民日报7月30日刊发"人民时评"，标题就叫《从菲尔兹奖看中国创新积厚成势》。BBC中文网、日本共同社等外媒也做了大篇幅报道。
学术圈的反应同样热烈。77岁的丘成桐------44年前首位华人菲尔兹奖得主------这次专门写了四首诗祝贺王虹和邓煜。他在接受采访时直言："这么年轻能够达到这个地步，我很兴奋。"在他看来，两人"作出了世界有目共睹的重要贡献"。中国科学院外籍院士杰曼诺夫也说得很直白："两人在数学教育方面的核心部分均是在中国完成的。"
也有人在冷静思考。有评论指出，王虹和邓煜做出获奖级原创成果的关键攻坚阶段都在海外完成。但这恰恰说明，中国本土的基础教育已经能培养出世界级顶尖人才。正如《人民日报》所说，这是"中国基础科学研究厚积薄发的一个时代注脚"。
获奖后王虹说了一句话在网上传疯了："希望大家都鼓起勇气，勇敢地去做自己喜欢做的事情。"从广西小镇走出来的姑娘，用行动证明了这句话的分量。
腾讯Hyra用24小时破解50年数学难题，AI搞数学正在成为常态
菲尔兹奖的热闹还没散，AI这边又搞出了大新闻。
7月31日，腾讯混元官方宣布，基于Hy3模型的科研智能体Hyra，为加法组合学中一个悬而未决半个多世纪的开放问题给出了完整答案。这个问题简单说就是：给定一个有限整数集合，把它所有元素两两相加得到"和集"，两两相减得到"差集"------这两个集合分别会扩张多大？数学家们半个多世纪一直在追问：和集与差集增长速率的比值，最优指数到底是不是2？
1969年至今，人类数学家把这个数值从1.0290一点点推到1.1259，最近一年AI辅助搜索推进到1.1449，GPT-5.5配合人类引导推到1.2851。而Hyra迈出了决定性的一步------它直接证明了2就是这个问题的上确界。
Hyra是怎么做到的？它先用AI做有限搜索，把最优结果从约1.14提高到1.21，然后转向用自然语言提出数学构造和论证，用LLM judge为探索过程提供反馈。经过约24小时运行，Hyra提出了论文核心思路：利用十二进制数字结构控制差集，再结合循环群上的对称加法基与中国剩余定理。团队同步给出了Lean 4形式化证明。
值得注意的是，陶哲轩等数学家此前也借助AI工具在这个问题上做过探索，但依赖有限集合枚举的方法难以自然过渡到可证明的渐近构造。Hyra这次直接把完整证明端出来了。
腾讯首席AI科学家姚顺雨在社交媒体上喊话"Hy AI4S is hiring"，公开招募AI for Science方向人才。AI搞数学，正在从"偶尔露一手"变成"日常操作"。
OpenAI Astra一口气破解10项数学难题，成本不到2000美元
腾讯刚发完，OpenAI就甩出了一颗更大的炸弹。
8月1日，OpenAI官方公布，其下一代核心模型Astra的内部版本，在数学与理论计算机科学领域取得了十项重大进展------这些问题至少十年甚至更久没有实质性突破。OpenAI同时放出了249页论文、62页推理说明和一套Lean 4形式化证明。
这十项成果覆盖高维球体堆积、球面码、非柔性群、康纳斯刚性猜想、算术电路复杂性、量子平行重复、最近向量问题、埃尔哈特体积猜想、多色拉姆齐数、极值数猜想等多个领域。其中最炸裂的成果，是Astra构造出了无限有限呈现的非sofic群，终结了Gromov自1999年提出的"所有可数群都是sofic"的猜想。有数学博士评价这是"菲尔兹奖级别的成果"。
更让人震惊的是成本------按Sol API费率计算，生成这十项成果的总token成本大约2000美元，平均每个问题200美元。也就是说，解决一个有科研价值的数学猜想，成本只相当于一个研究生一个周末的津贴。
OpenAI推理模型的核心缔造者Noam Brown直言：虽然目前还没解决黎曼猜想这样的千禧年大奖难题，但"测试时计算远未封顶"，百万美元级别的世界性难题也可能被啃下。曼彻斯特大学数学家Thomas Bloom评价说，这次突破比此前OpenAI证伪单位距离猜想更重要。
一个值得关注的细节：OpenAI明确表示，虽然数学论证本身由AI系统生成，但人类研究员协助撰写了论文手稿，并在Lean中进行了形式化验证并对正确性负责。人机协作，正在成为数学研究的新常态。
清华"丘班"预科生20%被清退，奥赛金牌得主只考28分
说完天上的星星，再聊聊地上的现实。
2026年夏天，清华大学求真书院的一场"清退风波"震动了整个教育圈。被清退的是2026级预科班学生，比例接近总人数的20%，远超往届。
这批学生是通过"丘成桐数学科学领军人才培养计划"选拔进来的------面向全球初三至高三学生，每年招生不超过100人，入选者先读预科，通过考核后可免高考直升清华。但今年2月入学后，6月中旬参加期末考试，近20%的人没能达标------其中甚至包括全国中学生数学奥赛的金牌、银牌得主。
院长丘成桐回应时透露："大部分人考了80分，居然有几个学生考28分、30分。"
争议的焦点不止是分数。有学生反映书院不少管理规则没有明确公开的书面文件，部分要求仅口头传达。一些家长称院方曾表示淘汰率非常低，"除非孩子完全不上课、不交作业、不学习"。
更深层的问题藏在选拔机制里。据报道，2023年前后针对备考"领军计划"的培训机构迅速兴起，一对一辅导每小时收费高达1200元。这种模式培养出的学生靠大量刷题和应试技巧考入预科班，却未必具备真正的数学天赋。丘成桐回应说，求真书院将进一步改革招生方式，希望招收真正热爱数学、而不是仅以进入名校为目标的学生。他强调："数学的能力当然可以培养，但不是通过刷题、猜题、总结套路的模式化培训。"
一边是菲尔兹奖"双星"闪耀，一边是天才少年被清退。中国数学的"面子"和"里子"，在这个夏天同时被摆到了台面上。
参考资料
1，王虹、邓煜获菲尔兹奖，外交部回应
https://m.gmw.cn/2026-07/31/content_1304025873.htm
2，腾讯混元：基于 Hy3 模型的科研智能体 Hyra 攻克加法组合学 50 年未解难题
https://www.ithome.com/0/984/201.htm
3，OpenAI公布在数学与理论计算机科学领域的十项进展
https://tech.ifeng.com/c/8vEn0UHsJD4
4，清华"丘班"预科生20%被清退！数学奥赛金牌得主仅考28分，丘成桐回应