Chinese content越南数学家证明 2013 年提出的 Courtade–Kumar 猜想
两位越南数学家把悬了十多年的 Courtade–Kumar 猜想给证出来了，信息论圈的大事，数学爱好者别错过。
#mathematical proofs
82 stories · 4 in 7 days · 24 in 30 days
Oct 4
Oct 2
Oct 1
Cogentic Multi-Agent Harness
Cogentic demonstrates how multi-agent systems can overcome limitations of single-shot generation in complex mathematical reasoning. The system's ability to produce verified novel results on research-level problems shows practical value for advancing theoretical computer science and mathematics. Researchers and developers working on automated theorem proving can explore the companion papers and verified results at the project's website.
Sep 22
Chinese content1万AI agents解决Navier-Stokes方程
DeepLearningAI展示了1万AI agents如何协作解决复杂数学问题，引发了对AI证明有效性的重要讨论。
Sep 18
Paths maximize expected range of graph-indexed random walks
This is a significant theoretical advancement in the field of graph theory and random walks, providing a new proof for a long-standing conjecture.
Chinese content关于3D Navier-Stokes方程渐近轴对称解的解析力研究
这是关于流体力学中一个经典问题的数学证明，对研究3D Navier-Stokes方程的学者可能有参考价值。
Sep 16
Sep 15
Local proof of Langlands's Second Main Lemma
This is a significant advancement in number theory and algebraic geometry, as it completes a key step in Langlands' program for constructing epsilon factors of local Weil representations.
Sep 11
Chinese contentLaravel 禁止 issue 只用 PR，Anthropic 用 Claude 完成史上最长数学程序
Laravel 这个开源框架的做法很聪明，减少问题报告，让贡献者更用心。Anthropic 的 Claude AI 展示了 AI 在数学证明上的惊人能力，值得看看。
阮一峰的网络日志Source
Sep 10
Chinese contentOpenAI解决纳维-斯托克斯方程
OpenAI用1万智能体解决千年数学难题，88小时完成形式化验证，陶哲轩警告AI改变数学研究生态。
SuperTechFansSource
Sep 9
Sep 5
Sep 2
Sep 1
Mathematical Knowledge Proof Checking
Machine checking creates proof abundance but leaves adjudication scarce, affecting mathematical research and software verification practices.
Aug 15
Aug 7
Chinese content多智能体协作是好事，Clement Delangue晒出149个Gemma实验
Hugging Face CEO用149个Gemma智能体做协作实验，还能围观它们公开交流写数学证明。
Aug 4
Aug 2
Chinese contentOpenAI的Astra证明遭质疑，数学博士讨论无人问津
Gary Marcus扒出OpenAI的Astra证明可能有问题，一个数学博士生的反例讨论才十几个互动，和数千万播放反差太大，建议去看看。
Chinese contentOpenAI Astra将发布10个数学证明，含反驳Connes刚性猜想
OpenAI的Astra模型一口气放出10个数学证明，还带Lean验证和推理过程，数学爱好者可以围观了。
Aug 1
Jul 29
Industry13:15
Chinese content设想像SETI@Home那样捐献算力搜索数学证明Amjad Masad分享了一个脑洞大开的概念：用众包算力搜索数学证明，像当年找外星人一样，值得关注。
Chinese contentGPT-5.6 解决概率论中 Feige 1/e 猜想
GPT-5.6 刚又搞定一个数学难题，这次是概率论里老牌的 Feige 猜想，你可以看看 AI 证明数学定理有多猛。
Jul 28
Jul 24
Industry18:42
Chinese content菲尔兹奖得主邓煜谈AI：已能帮助数学证明，但不能替代独立思考菲尔兹奖得主邓煜亲述：GPT帮他解决了卡了几天的数学特例，但独立思考依然是关键。
IT之家Source
Jul 20
Jul 11
Chinese contentGPT-5.6 Sol Ultra 1小时内证明50年数学猜想
Sol Ultra刚发布就搞定了困扰数学界50年的猜想，64个AI一起发力，效率惊人。想看看提示词和证明？直接去翻原文。
Jun 18
Models10:22
Chinese contentDiffusion-Proof：超越自回归生成的形式定理证明新框架扩散模型也能做定理证明了，比自回归强，MiniF2F上高出6个百分点，还解了一道DeepSeek没解出的IMO题。
Jun 12
Chinese contentMaxProof: 用生成-验证强化学习实现数学证明的规模扩展
数学证明是 AI 推理的硬核测试，MaxProof 用群体搜索和验证器强化学习突破了竞赛级证明的瓶颈，做数学 AI 或推理系统的研究者值得关注其方法。
Chinese contentOpenAI 模型推翻 Erdős 单位距离猜想，数学界迎来 AI 突破
数学研究者或对 AI 推理能力感兴趣的人会震撼——OpenAI 模型解决了数论几何交叉的经典难题，证明过程优雅且可验证。建议点开看看 AI 如何用代数数论工具攻克几何猜想，这对理解 AI 在严谨科学中的潜力很有启发。
May 27
Chinese contentAI 跨过推理奇点：Anthropic 与 OpenAI 前沿模型能力跃迁
AI 推理能力从片段到完整体系的跃迁，是开发者和安全从业者必须关注的分水岭——Claude Mythos 的防御性开放和 OpenAI 的数学突破，直接改变了模型应用边界，建议点开了解具体案例。
May 26
Chinese content谷歌 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题
数学研究者和 AI 爱好者会兴奋——AlphaProof Nexus 用数百美元成本就解决了人类 56 年未解的难题，证明 AI 已能自主推进数学前沿，值得点开看看具体怎么做到的。
IT之家Source
Chinese content56年未解数学难题被AI agent用几百美元推理成本攻克
AI 用几百美元成本解决了人类数学家 56 年未解的问题，做数学研究或形式化验证的团队值得关注——这可能是数学研究自动化的转折点。
May 22
Chinese contentGPT-5.5 复现标准证明，GaryMarcus 质疑“阶跃变化”
AI 研究者和大模型用户值得关注——GPT-5.5 的推理表现引发了对“阶跃变化”定义的反思，看完会重新审视模型能力的评估标准。
Chinese contentOpenAI 通用推理模型证明数学难题，AI 社区里程碑
通用推理模型攻克数学难题，证明 AI 不再需要特化就能做高难度推理——做 AI 研究和数学建模的团队值得关注，这可能是通用智能落地的信号。
Chinese contentOpenAI 新推理模型推翻 80 年几何猜想，AI 首次自主攻克数学难题
AI 首次自主攻克数学核心难题，对数学、物理等领域的科研人员是重大信号——AI 已能发现人类未曾想到的解法，做基础研究的团队值得关注。
IT之家Source