标签
OpenAI 发布了一个包含 721 篇数学手稿的仓库，这些手稿由一个未公开名称的内部模型生成，其中包括一项声称推翻指数时间假设（ETH）的成果。其中约 42% 的结果已在 Lean 中完成形式化验证，并附有精简的推理轨迹。
3Blue1Brown（Grant Sanderson）发文论证：即使 AI 在证明生成上全面超越人类，数学的价值链和资金链也几乎不受动摇，真正改变的是文化与功劳分配，因此现在恰恰是进入数学最好的时候。
在这一期播客中，量子计算学者 Scott Aaronson（曾在 OpenAI 从事 AI 安全研究）认为 AI 已在数学和理论计算机科学领域开启了"奇点"——人类已不再是地球上主要的定理证明实体，领域正被迫重新定义研究、署名与出版的意义。
这篇论文提出了一个用于评估数学定理内在趣味性的度量标准，并训练了一个27B模型来预测证明难度，从而能够生成更有趣和新颖的数学成果，同时减少与现有知识库的重叠。
数学家证明了图论中长期存在的sandwich conjecture，表明大型随机图可以近似于两个更简单图之间，连接不同的随机过程并推动该领域的发展。
Anima Anandkumar 描述了在 Terence Tao 博客上的一篇客座文章，详细介绍了一种使用 Physics-Informed Neural Networks (PINN) 来寻找流体力学中 Euler 方程奇异解的方法，强调了其提前发布和在科学计算中的广泛应用。
Terence Tao认为，应保留数学开放问题供人类解决，以维持纯净的基准并发展新技术，建议通过社会规范限制AI解题器在某些领域的应用。
本文改进了装填17个单位正方形所需最小正方形的下界，得出新值4.5058，基于前人工作并采用了AI辅助方法。
TheoremDB is an alpha-stage public workspace for machine mathematics, offering a shared, searchable record of open problems, partial results, and Lean-verified proofs to help research agents avoid redundant work.
本研究报告为离散多项式傅里叶扩展中的一位噪声整形系数建立了一个严格的分析框架，推导了西格玛-德尔塔量化的估计和高阶扩展。
一位数学家报告称，Grok 4.5在四维球面上发现了一个全新的超压缩性反例，这可能标志着AI首次完成了原创数学研究，但有待同行评审。
菲尔兹奖得主蒂莫西·高尔斯报告使用 GPT5.5 Pro 解决公开数学问题，并预测由于人工智能的快速发展，数学研究将很快面临危机。
# Bolzano：LLM辅助数学研究的案例研究 来源：[https://arxiv.org/html/2604.16989](https://arxiv.org/html/2604.16989) Jan Grebík1、Pavel Hubáček1,2、Martin Koutecký1、Matěj Kripner3、Václav Rozhoň1、Robert Šámal1、Adrián Zámečník1 1 布拉格查理大学计算机科学研究所 2 捷克科学院数学研究所 3 布拉格查理大学形式与应用语言学研究所 ###### 摘要 我们报告了在数学与理论计算机科学领域六个问题上取得的新成果……
数学家陶哲轩认为AI正在降低数学研究中的认知摩擦，使实验和大胆想法成为可能，并有望成为主流工具；他还预测未来数学发表将分享探索路径而非仅最终结果。