◈ AI NEWS · AI 资讯
全网最新 AI 动态
聚合全网大模型、产业动态、研究前沿资讯，每小时刷新。点击任一标签或分类可进一步筛选。
AI资讯36氪2026/10/18
重磅！OpenAI之后，AI再破广义黎曼猜想
如果AI连这种级别的底层结构都能看透，人类数学家还有什么存在的价值？
👁 3♥ 0
#OpenAI#Lean#arXiv
ai-industry虎嗅2026/10/17
AI，别欺数学家太甚-虎嗅网
2026年前后，OpenAI连续宣称攻克数学难题并批量发布AI生成手稿，引发全球数学界对知识验证、可理解性与创新生态的担忧。陶哲轩等数学家发起联合声明，呼吁抵制OpenAI的暴力解题，并主张改革评价体系、强制标注AI使用、放缓模型加速。
👁 0♥ 0
#OpenAI#AI伦理#AI数学
研究前沿36氪2026/10/13
AI破解56年数学难题登Science，还是DeepMind讲究，成果交给同行评审
一口气解决9道埃尔德什开放问题
👁 5♥ 0
#Gemini#Lean#DeepMind
ai-industry36氪2026/10/13
AI冲击如海啸，77岁菲尔兹奖得主丘成桐亲自下场：集结千名学者造数学大模型
宗师出剑，联合八大机构千名学者下场，终结集体观望
👁 3♥ 0
#OpenAI#丘成桐#AI数学
ai-industry虎嗅2026/10/13
当智商160的菲尔兹奖得主，都觉得工作毫无价值了-虎嗅网
10月6日OpenAI发布722份数学手稿，10月7日陶哲轩转载人类数学协会声明，数学界围绕AI发布、验证与归属规则展开抵制。文章以Karpathy四层人群、美国商务部分配数据和数学家与编剧行动说明，AI时代核心问题不只是个人升级，而是规则与分配。
👁 9♥ 0
#OpenAI#AI数学#陶哲轩
ai-industry虎嗅2026/10/12
陶哲轩在“害怕”什么？-虎嗅网
美国当地时间10月9日，陶哲轩转发托马斯·黑尔斯的文章，讨论Lean定理证明器可靠性与人工智能问题。此前OpenAI于10月6日发布722篇模型生成数学手稿并在一天后撤回3篇，引发数学界对AI证明可靠性、Lean健全性漏洞及人类审核能力的担忧。
👁 7♥ 0
#OpenAI#Lean#AI数学
ai-industry36氪2026/10/12
MIT教授绝望：OpenAI攻克的千禧年难题，人类已经看不懂了
AI写出的证明，数学家开始读不懂了
👁 5♥ 0
#OpenAI#对齐#Navier‑Stokes
AI资讯量子位2026/10/11
王的猜想，刚刚扩展到四维 - 量子位
量子位文章：王的猜想，刚刚扩展到四维。
👁 8♥ 0
#OpenAI#AI数学#挂谷猜想
ai-industry36氪2026/10/9
AI平均3小时完成一个数学证明，科研进入大通胀时代？
数学的潘多拉魔盒打开了。
👁 6♥ 0
#OpenAI#算力#Lean
AI资讯36氪2026/10/10
王虹攻下的三维挂谷猜想，OpenAI放出175页四维证明稿
王虹攻下的三维挂谷猜想，OpenAI放出175页四维证明稿！
👁 8♥ 0
#OpenAI#AI数学#挂谷猜想
ai-industry36氪2026/10/9
数学难题正被AI批量攻克，数学家却被逼着给AI擦屁股
数学家攒了几百年的题，快让OpenAI刷成日常任务了。。。
👁 8♥ 0
#OpenAI#ChatGPT#数学证明
AI资讯虎嗅2026/10/8
AI让数学再也回不去那个旧世界了。-虎嗅网
2026年10月7日，OpenAI发布722份数学手稿，涵盖准黎曼猜想、矩阵乘法优化、挂谷猜想等372项成果，平均每项约耗3小时算力。数学界认为这是技术大爆炸的预兆，但关于成果验证、署名和AI与人类角色冲突引发广泛讨论。
👁 5♥ 0
#OpenAI#AI数学#数学手稿