1
丘成桐数学与人工智能实验室联盟在清华大学成立，推动 AI 与数学深度融合
IT之家 10 月 12 日消息，据北京日报报道，10 月 11 日，丘成桐数学与人工智能实验室联盟在清华大学成立，将向数学科学专用大模型研发、AI 辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等领域发起攻关，推动 AI 与数学深度融合。 据IT之家此前报道，OpenAI 本月初一…
2
3
OpenAI 公布大批数学研究成果引发学界巨震，学者担忧破坏学术合作传统
IT之家 10 月 10 日消息，据《商业内幕》今天（10 日）上午报道，OpenAI 最新公布的大批数学研究成果在学术界引发了不同反应。一些学者为数学研究取得的突破感到振奋，另一些人则开始担忧仍在努力攻克同样难题的研究人员。 纽约大学数学教授特里斯坦 · 巴克马斯特接受 CNBC《Squawk B…
4
陶哲轩带头宣战！人类数学家联合抵制OpenAI
彻底撕破脸了
5
陶哲轩质疑 OpenAI 公司：719 篇 AI 数学证明，人类真的理解了吗？
IT之家 10 月 9 日消息，OpenAI 于 10 月公布 719 份 AI 数学解答，涵盖 372 个数学结果族，涉及数百项开放研究问题，不过发布后被指尚未完全达到“数学与人工智能顾问小组”（AGMAI）提出的标准。 IT之家此前报道，OpenAI 于 10 月 6 日最初在 GitHub 发…
6
OpenAI一夜甩出722篇数学论文！黎曼霍奇BSD全上阵，数学家：读不过来
三位菲尔兹奖得主：不代表认可
7
OpenAI 发布又一批 AI 数学研究成果，攻破数百个悬而未决难题
IT之家 10 月 7 日消息，OpenAI 在一批包含 722 份手稿、涵盖 372 个结果家族的文件中，公布了某款未发布的前沿模型解决的多项长期存在的数学难题。 IT之家注意到，这一举措延续了其一系列突破性成果，这些成果既给数学界部分人士留下了深刻印象，也引发了不安，同时还带来了关于研究伦理和学…
8
OpenAI推理之父最新访谈！数学只是多智能体时代的开胃菜
千禧年难题的突破，10000个Agent最多占了10%的功劳。
9
英伟达黄仁勋谈“AI 让孩子淡忘基础数学”：这不是问题，我都记不住家庭地址 / 电话号码
IT之家 9 月 25 日消息，在接受《纽约时报》采访时，针对外界对“AI 让孩子淡忘基础数学”的担忧时，英伟达首席执行官黄仁勋认为， 由于 AI 而忘记基础数学知识并不是问题。 主持人 Ezra Klein 指出基于一项对中国 2.6 万名学生的研究发现，人工智能帮助学生更快地完成作业，并在作业中…
10
OpenAI 宣布成立数学与 AI 顾问组，神秘新模型 24 天攻破 100+ 世界级难题
IT之家 9 月 22 日消息，OpenAI 宣布成立“数学与 AI 顾问组”（Advisory Group on Mathematics and Artificial Intelligence）。据介绍，该顾问组设在普林斯顿高等研究院，由九位数学家组成，将独立于 OpenAI 运作。 相较于此，更…
11
陶哲轩代表SAIR Foundation宣布正式启动“开放数学模型计划”
让开放模型与可负担的算力成为数学研究的共享基石
12
前OpenAI后训练VP回应陶哲轩：说AI毁了数学，可能还是太小瞧AI了
未来的AI不仅能解决问题，还能提出有价值的洞见、建立新的概念框架，让数学家在此基础上继续探索。
13
AI数学的最后一道高墙，塌了！GPT-6 Astra刷穿FrontierMath Tier 4
FrontierMath Tier 4，饱和了
14
25 位菲尔兹奖得主联合警告“AI 在数学领域严重错位”，邓煜调侃要退休回家写百合小说
IT之家 9 月 12 日消息，当地时间 9 月 11 日，陶哲轩、邓煜、彼得 · 舒尔茨（Peter Scholze）等 25 位菲尔兹奖得主作为最初签署人，联合发表声明《 人工智能在数学中的严重错位 》（A Severe Misalignment of AI in Mathematics），警告…
15
陶哲轩邓煜究竟在反对什么：AI暴力解题摧毁人类数学精神
25位菲尔兹奖得主联名吹哨
16
AI 攻克数学难题，纽约大学教授质疑 OpenAI“截胡”其研究成果
IT之家 9 月 9 日消息，纽约大学数学教授 Tristan Buckmaster 当地时间周二宣布了三项证明成果，其中一项为理论数学领域最重要的未解问题之一取得了初步进展。这些成果由 Buckmaster 与 Anthropic 数学家 Levent Alpöge 合作完成，并同时使用了 Cod…
17
Spectral partitioning for $k$-block averaging kernels of finite Markov chains
用谱方法为有限马尔可夫链的k块平均核做划分，数学定理与算法并重，适合随机过程与谱图理论研究者。
arXiv:2608.21466v1 Announce Type: cross Abstract: We develop spectral algorithms for selecting state-space partitions that define averaging kernels fo…
18
加州伯克利数学教授撰文批评学生基础差，却被抓包“用 AI 写的”
教授批学生数学差，自己文章却被检出33%AI生成，这波“双标”引发教育圈热议。
IT之家 8 月 23 日消息，据英国《卫报》20 日报道，加州大学伯克利分校数学教授兹韦兹德利娜 · 斯坦科娃日前在《旧金山标准报》撰文批评部分学生存在“严重”的数学基础缺失，却又承认文章本身曾借助 AI 编辑，由此引发争议。 《旧金山标准报》上周刊登了斯坦科娃一篇约 2000 词的评论文章。她指…
19
Large Language Models: A Mathematical Formulation
从数学底层重新定义大语言模型，为理解LLM提供严谨的理论框架。
arXiv:2601.22170v2 Announce Type: replace-cross Abstract: Large language models (LLMs) process and predict sequences containing text to answer questio…
20
RamseyGadgets: A Graph Construction Dataset for LLMs
LLM能像人类一样构造特殊图吗？这个数据集专门来测，为图论+AI交叉研究提供新基准。
arXiv:2608.14999v1 Announce Type: cross Abstract: Constructing special graphs is an important task within graph theory and computer science. Many popu…