据《The Verge》报道，OpenAI 未公开模型 Astra 近期解出 10 个长期未解的数学问题，其中包括非 sofic 群存在性问题。OpenAI 发布了超过 250 页解法论文和 60 页思路说明，并用 Lean 验证正确性。成果公布后，数学界一边认可其突破，一边质疑 OpenAI 淡化了 Gábor Kun 等学者的前期研究贡献，担忧资源不平等、商业叙事挤压人类数学家的位置，以及年轻研究者的培养路径受冲击。

新晋菲尔兹奖得主雅各布·齐默曼宣布告别数学、停止招收博士生，将于今年夏末前正式入职OpenAI，目标是寻找控制AI的方法，遏制「文明级毁灭风险」。AI企业安全团队正加速从学界招人，Anthropic、OpenAI已分别招揽经济学家、哲学家及数学家、物理学家；2026年已有至少22位教授离开或暂离顶尖学府投身AI。

OpenAI在官方博客首次披露下一代主力模型Astra的内部版本，称其一次处理了10道停滞超过10年的公开数学与理论计算机科学难题。OpenAI表示，相关论证已整理为249页手稿，并进一步形式化为可由Lean逐行验算的证明，整套证明库已在GitHub开源。按Sol API费率计算，完成这10题的token总成本约为2,000美元。这一发布获得部分数学家肯定，但也因绕过传统期刊评审、直接通过博客公布，引发学界对署名权与学术信任机制的讨论。

可逆计算与计算物理学专家 Michael P. Frank 表示，他曾让 GPT-5.6 Sol 连续约 33 小时研究费马大定理是否存在比怀尔斯-泰勒证明更简洁的路径，但任务最终被 OpenAI 系统强制终止。模型事后称，原因可能是会话占用资源过多，或 OpenAI 过去已做过类似尝试。围绕此次中止，外界也出现了保密、监管、常规安全机制和 bug 等不同解读。

菲尔兹奖得主 Jacob Tsimerman 在新闻发布会上表示已转向 AI 安全研究，并将加入 OpenAI 安全部门。文章指出，OpenAI、Anthropic 等头部模型公司正持续吸纳数学、物理、生物等领域学者，把真实科研问题引入模型研发。字节本周发布 Seed STEM 科学家计划，开放 100 个合作席位，面向前沿科学领域科学家和博士生。文中还提到 OpenAI、Anthropic 在评测体系、跨学科驻场项目和模型能力演进路径上的布局。

TechFlowPost 汇总当日 AI、加密、芯片与宏观市场动态。Jacob Tsimerman 在菲尔兹奖颁奖当天加入 OpenAI；英特尔第二季度营收 161.3 亿美元，同比增 25%，盘后上涨 13%；Drift Protocol 攻击者向 Tornado Cash 存入 4440 万美元；科技股“Mag 7”单日蒸发近 8000 亿美元，油价与黄金同步走高。

PANews报道，2026年菲尔兹奖得主王虹并非传统意义上的数学神童。她没有奥数训练，本科阶段曾经历迷茫，赴巴黎后还一度转向建筑，最终因对数学的热爱回到研究。2025年，她与约书亚·扎尔以一篇127页论文解决困扰数学界百余年的三维挂谷猜想，从北大学子成长为国际高等科学研究院首位女性终身教授。

MarsBit援引多方公开信息称，a16z 联合创始人 Marc Andreessen 在播客中表示，AGI 可能已在 2026 年 2 月前后悄然到来，判断标准是模型通用认知能力已达到或超过聪明人的水平。他同时描述了硅谷重度 AI 用户的工作状态：领先科技公司的程序员在使用 AI 后每小时产出可达过去的 20 倍，但工作时间反而拉长。报道还提到医疗测试与模型异常行为记录，显示模型能力提升与稳定性问题并存。