#数学证明

陶哲轩这次说的挺狠：OpenAI 用 AI 批量解出 719 份数学证明，但没推理链、没形式化，他担心人类根本消化不了这些成果。

OpenAI 一口气丢了 700 篇 AI 数学论文进圈子，还因符号错误撤回 3 篇，Terence Tao 都出来警告了，看看数学界怎么反应。

官方账号Decoder@Manuel Uth11 个信源在谈原文

OpenAI 让新模型一口气写了 722 篇数学证明，结果 3 篇有错被撤下，14 篇在改。矩阵乘法复杂度那些问题挺有意思，可以翻翻。

Blognone@lew11 个信源在谈原文

OpenAI 发布了一批数学证明，结果被自己请来的数学家指出不符合他们定的规范，这篇文章讲的就是哪儿不达标。

techcrunch@Tim Fernholz11 个信源在谈原文

OpenAI 一次放出 722 篇数学论文，数学家协会直接开喷让同行断合作，陶哲轩转载后还被误读成他本人发声，已撤 3 篇改 14 篇。

The Rundown AI@therundownai11 个信源在谈原文

OpenAI 放出一堆 AI 数学证明，数学家读了都说解法不像人想出来的，看看他们怎么描述这种体验。

Ethan Mollick@emollick11 个信源在谈原文

OpenAI一次性放出372个AI数学证明，菲尔兹奖得主集体发声担忧，AI与数学研究碰撞出火花与争议。

官方账号Decoder@Matthias Bastian11 个信源在谈原文

OpenAI 让 ChatGPT Pro 写数学证明，平均每个结果只花 3 小时算力，还声称搞定拟黎曼假设，数学圈已经炸了。

kimmonismus@kimmonismus11 个信源在谈原文

两位越南数学家把悬了十多年的 Courtade–Kumar 猜想给证出来了，信息论圈的大事，数学爱好者别错过。

VnExpress International: Tech原文

Google用Cogentic让Gemini像研究团队一样协作，解决数学难题比单次提示更高效。

rohanpaul_ai@rohanpaul_ai3 个信源在谈原文

DeepLearningAI展示了1万AI agents如何协作解决复杂数学问题，引发了对AI证明有效性的重要讨论。

DeepLearning.AI@DeepLearningAI原文

Laravel 这个开源框架的做法很聪明，减少问题报告，让贡献者更用心。Anthropic 的 Claude AI 展示了 AI 在数学证明上的惊人能力，值得看看。

Claude用11天完成费马大定理的形式化证明，比预期数年快得多，展示了AI在数学验证上的突破。

多伦多数学家揭秘AI数学瓶颈：能算不会证，800页AI证明无人敢信

a16z@a16z11 个信源在谈原文

GPT-5.6-Sol断网跑16小时独立拿出22年数学猜想的证明，这波是AI科研能力的实弹演示。

The Rundown AI@therundownai原文

Hugging Face CEO用149个Gemma智能体做协作实验，还能围观它们公开交流写数学证明。

官方账号Clement Delangue@ClementDelangue原文

OpenAI 把证明过程和机器验证文件都公开了，直接看 Lean 证书就能确认对错，搞数学的可以省去重复推导。

官方账号OpenAI@OpenAI4 个信源在谈原文