三行数学

数学周刊第52期(2025年12月22日-12月28日)2025年12月24日，字节跳动Seed团队宣布，其新一代形式化数学推理专用模型 Seed Prover 1.5 在多项顶级测试中取得突破性成绩。该模型的核心飞跃在于采用了大规模代理式强化学习训练，这使其推理能力和效率得到全面提升。在最具标杆意义的测试中，Seed Prover 1.5仅用16.5小时，即为2025年IMO的前五道试题生成了完整且可验证的证明代码，换算成绩为35分（满分42分），稳稳达到了历届IMO竞赛的金牌分数线。

数学周刊第50期(2025年12月08日-12月14日)近日，一项发表在《几何与泛函分析》上的研究为这一问题画上了句号。论文作者证明了，最大非平均子集的尺寸精确为 n^{1/4+o(1)} 。这意味着，当n非常大时，能构造的非平均集大小大约在n的1/4次方这个量级。突破的关键在于运用了关于子集和结构的精妙反定理。研究证实，此前由Bosznay提出的基于抛物线点集投影的构造方法，在量级上已经达到了最优。这项工作最终统一了该问题的上下界，为这段长达半个多世纪的探索之旅书写了终章。

数学周刊第49期(2025年12月01日-12月07日)2025年度的ICTP & IMU拉马努金奖授予了智利大学的克劳迪奥·穆尼奥斯（Claudio Muñoz）教授，以表彰他对色散偏微分方程的开创性贡献。色散偏微分方程是描述波动现象的核心数学工具，涵盖了从量子力学薛定谔方程到经典波动方程等一系列物理学基本方程。

我是有底线的