📖
25位菲尔兹奖得主警告：AI解尽难题后，人类无题可训
AI行业讨论2026 年 9 月 13 日
📖
数学家不反AI，五千人联名警告：AI解题可能毁掉数学的土壤
AI行业分析2026 年 9 月 13 日
📖
纳维-斯托克斯方程证明中没人谈论的部分
AI形式化验证2026 年 9 月 10 日
📖
OpenAI称AI解决千禧年难题，数学界认可还需数年
AI学术研究2026 年 9 月 10 日
📖
OpenAI AI解决千禧年难题纳维-斯托克斯存在性问题
AI研究2026 年 9 月 9 日
📡
用户实测GPT-Astra在数学领域表现取得量子飞跃
𝕏2026 年 9 月 4 日
📖
AI拿下IMO金牌，数学家：这个里程碑被误解了
AI行业讨论2026 年 9 月 3 日
📖
AI之后的数学：人类好奇心不可或缺
AI学术研究2026 年 8 月 24 日
📖
AI仅花2000美元解决十道悬而未决的十年数学难题
AI观点2026 年 8 月 9 日
📡
开发者构建多GPT智能体系统 在Lean中证明半群定理
𝕏2026 年 8 月 7 日
📖
OpenAI用大模型取得十项数学理论计算机科学新进展
AI大模型2026 年 8 月 2 日
📡
你听说吗？大模型核心其实本科生数学就能看懂
𝕏2026 年 7 月 27 日
📡
用户借助OpenAI GPT-5.6 Sol五天解决6个开放埃尔德什问题
𝕏2026 年 7 月 23 日
📖
AI辅助数学研究：能力、局限与人类角色的再思考
AI研究2026 年 7 月 21 日
📡
Claude Sonnet 4.6 高考数学卷不及格
𝕏2026 年 6 月 10 日
📡
计算生物学家用Codex解决30年前提出的超立方体铺石数猜想
𝕏2026 年 6 月 10 日
📖
陶哲轩如何成为人工智能数学的布道者
AI形式化验证2026 年 6 月 9 日
📡
AI一口气解出9个存在50年的数学难题，新闻头条已经跟不上节奏
𝕏2026 年 5 月 25 日
📡
DeepMind AI代理攻克9个埃尔德什公开数学难题
𝕏2026 年 5 月 25 日
📡
AI首次自主解决数学核心开放问题
𝕏2026 年 5 月 22 日
📖
OpenAI模型推翻离散几何核心猜想，实现AI自主数学突破
AI基础研究2026 年 5 月 21 日
