OpenAI撤回3项数学研究成果！数学仓库首次修正
【CNMO科技消息】10月8日，@danintheory 在X上宣布，openai/math数学成果仓库上线后迎来首次修正：新增6项Lean形式化，修改19项内容，撤回3项成果。
AI，别欺数学家太甚
文 | 数字力场 佘宗明“物理学从来就没有存在过，将来也不会存在。”《三体》中，顶尖理论物理学家杨冬自杀前，留下了这番遗言。杨冬自杀，外部背景是：三体人的智子干扰，让全球高能粒子加速器粒子碰撞结果完全随机、不可复现，这导致全球多名顶尖物理学家信仰崩塌，引发了物理学家自杀潮。
这 6 本 GitHub 上的开源 AI 宝典，那是相当有真东西。
六本在 GitHub 上开源的中文 AI 教材，从讲透 Agent 等于 LLM 加上下文加工具的《深入理解 AI Agent》，到把大模型算力账算明白的 AI Infra、蒲公英书第二版与通识版，以及谷歌 Agent 设计模式的 21 个模式中文译本。
GitHub火爆开源项目 MathModelAgent，数学建模1小时出稿
5000 多星的 GitHub 开源项目 MathModelAgent，定位很直接：把数学建模比赛从「三天人肉赶工」压缩到「一小时出稿」。
722篇数学成果：AI重塑数学研究的范式边界
暗底之上，手写公式如星河流淌。AI叩响数学前沿的那个夜晚，人类固守半生的边界，被悄然改写。理论计算机科学家Dana Moshkovitz研究了二十多年的唯一博弈猜想，在一夜之间被AI给出了证明。
把哈佛、MIT、斯坦福的数学课都整理好了，GitHub 这个仓库太狠了
你以前没钱上名校，现在没借口不学了。GitHub 上有一个开源项目 math-science-video-lectures，专门把全球知名大学公开的数学和科学课程整理到一起，包括 MIT、哈佛、斯坦福、加州理工、伯克利 等高校的大量免费视频课程。
数学科研搭子来了！华东师大自研VeryMath上线
暑期的华东师大校园里 一场关于AI辅助数学科研的 新探索正在展开 在这个炎热的夏天 闵行校区这间教室里座无虚席 伴随着键盘的敲击声 大屏幕上跳动起一行行代码 与复杂的数学公式 这是华东师大数学科学学院 “基于VeryMath的人工智能 辅助数学研究实践”的 暑期实践课堂 2026
AI，别欺数学家太甚
杨冬自杀，外部背景是:三体人的智子干扰，让全球高能粒子加速器粒子碰撞结果完全随机、不可复现，这导致全球多名顶尖物理学家信仰崩塌，引发了物理学家自杀潮。
GitHub爆火：一句话生成数学教学动画
Math-To-Manim 自动生成数学教学动画开源工具，它最大的特点只有一句话：把原本复杂的 Manim 动画制作流程，变成一句自然语言指令。如果你接触过数学动画制作，大概率听说过 Manim。这是由 （3Blue1Brown）带火的数学动画框架。
ChatGPT攻克26年猜想，千位数学家宣战AI，数学界彻底撕裂了
统治人类逻辑高地几千年的数学家门，第一次感受到了「灭顶之灾」的寒意。就在这两天，全球顶尖名校的数学系，直接掀起了一场声势浩大的集体大反抗。