◈ AI NEWS · AI 资讯
全网最新 AI 动态
聚合全网大模型、产业动态、研究前沿资讯,每小时刷新。点击任一标签或分类可进一步筛选。
ai-industry36氪2026/10/9
数学难题正被AI批量攻克,数学家却被逼着给AI擦屁股
数学家攒了几百年的题,快让OpenAI刷成日常任务了。。。
👁 9♥ 0
#OpenAI#ChatGPT#数学证明

研究前沿虎嗅2026/9/28
丘成桐弟子带AI狂写470万行,庞加莱猜想证明首次被机器完整验证-虎嗅网
2025年9月,由丘成桐弟子Ben Chow领导的四人团队,借助ChatGPT、Claude等AI工具,用Lean证明助手将佩雷尔曼关于庞加莱猜想的证明完整形式化为约470万行代码,全部通过Lean内核检查。此举标志着机器验证大型数学证明的新里程碑,AI成为证明撰写主力。
👁 61♥ 0
#Claude#ChatGPT#Lean