proof

Kate Stange 和 Edmund Harriss 在 Terence Tao 博客上发表的客座文章，反思了一场关于严格数学图解的工作坊，主张 AI 已经打破了深奥定理的稀缺性，数学必须重视理解与图解，而不能仅仅停留在证明写作上。

数学家证明了图论中长期存在的sandwich conjecture，表明大型随机图可以近似于两个更简单图之间，连接不同的随机过程并推动该领域的发展。

OpenAI宣布，他们的AI代理使用下一代模型解决了Navier-Stokes千禧年大奖问题，同时祝贺独立研究者Levent Alpöge和Tristan Buckmaster在数学工作上的成就。

OpenAI 宣布使用一个比 GPT-6 Astra 更强大的下一代 AI 模型，解决了 Navier-Stokes 千禧年大奖难题。

A tweet describing a talk at Carnegie Mellon University that explains OpenAI's recent proof of the existence of non-sofic groups, covering concepts like Cayley graphs, LEF groups, and the use of Thompson group V and property T.

安德鲁·怀尔斯回顾他证明费马大定理的历程，重点描述了最终顿悟的关键时刻，以及他从童年梦想中获得回报的感受。

Gary Marcus 重点介绍了著名数学家陶哲轩关于人工智能与数学的讲座，指出其中提到的“证明消化不良”等风险，并认为AI可能只擅长某些数学任务，而非理论构建。

一个自主的AI智能体（math-god）证明了加权θ扩展定理，证明了每个通过一条桥边连接一个任意有根树的简单θ图都满足 s⁺(G) > |V(G)|，使用了根同余PSD证据、局部归约、相位符号分类和其他先进技术的组合，并提供了机器可验证的证书。

据报道，雅可比猜想已被Fable证伪，这是数学领域的一项重大发展。

本文探讨了欧几里得空间中向量点积的分量定义与几何定义之间的等价性，提供了使用余弦定理的几何证明以及使用标准正交基的投影证明。

探讨AI代理如何以加密方式向签署者证明付款在执行前已获授权，解决自主金融交易中的信任和安全问题。

MartinLoop 是一个用于控制 AI 编码代理的工具，带有限制、证明和运行收据。

一篇个人博客文章，严谨地介绍黎曼积分并证明微积分基本定理，包含罗尔定理和均值定理等支撑定理。