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