◈ AI NEWS · AI 资讯
全网最新 AI 动态
聚合全网大模型、产业动态、研究前沿资讯，每小时刷新。点击任一标签或分类可进一步筛选。
AI资讯36氪2026/10/18
重磅！OpenAI之后，AI再破广义黎曼猜想
如果AI连这种级别的底层结构都能看透，人类数学家还有什么存在的价值？
👁 3♥ 0
#OpenAI#Lean#arXiv
研究前沿36氪2026/10/13
AI破解56年数学难题登Science，还是DeepMind讲究，成果交给同行评审
一口气解决9道埃尔德什开放问题
👁 5♥ 0
#Gemini#Lean#DeepMind
ai-industry虎嗅2026/10/12
陶哲轩在“害怕”什么？-虎嗅网
美国当地时间10月9日，陶哲轩转发托马斯·黑尔斯的文章，讨论Lean定理证明器可靠性与人工智能问题。此前OpenAI于10月6日发布722篇模型生成数学手稿并在一天后撤回3篇，引发数学界对AI证明可靠性、Lean健全性漏洞及人类审核能力的担忧。
👁 7♥ 0
#OpenAI#Lean#AI数学
ai-industry36氪2026/10/9
AI平均3小时完成一个数学证明，科研进入大通胀时代？
数学的潘多拉魔盒打开了。
👁 6♥ 0
#OpenAI#算力#Lean
AI资讯36氪2026/10/7
突发，Claude拿下概率论「圣杯」，AI跨过菲尔兹奖终点线
困扰人类近70年的「概率论圣杯」，究竟是什么？
👁 9♥ 0
#Claude#Anthropic#Lean
研究前沿虎嗅2026/9/28
丘成桐弟子带AI狂写470万行，庞加莱猜想证明首次被机器完整验证-虎嗅网
2025年9月，由丘成桐弟子Ben Chow领导的四人团队，借助ChatGPT、Claude等AI工具，用Lean证明助手将佩雷尔曼关于庞加莱猜想的证明完整形式化为约470万行代码，全部通过Lean内核检查。此举标志着机器验证大型数学证明的新里程碑，AI成为证明撰写主力。
👁 60♥ 0
#Claude#ChatGPT#Lean