研究者发布 OpenFrontiers，收录 12151 个跨学科开放研究问题，并构建数学领域 200 题回顾性基准（其中 110 题已在 2026 年解决），用 Lean 4 形式化与自动检查评估大模型能否独立“再发现”已有解答。
陶哲轩转发数学界抵制声明，反对OpenAI以AI生成证明冲击学术规范，争议焦点是数学家是否必须借助AI自证能力，引发学界与AI公司关系紧张。
英伟达开源 Nemotron 3 Ultra 的 IMO 数学推理系统，含两个数学专家 checkpoint、训练数据、推理代码与 200 道新基准，以 30/42 分超金牌线，但 1.5TB 显存门槛引发算力集权争议。