◈ AI NEWS · AI 资讯
全网最新 AI 动态
聚合全网大模型、产业动态、研究前沿资讯,每小时刷新。点击任一标签或分类可进一步筛选。
AI资讯36氪2026/10/27
OpenAI掀翻计算机科学30年基石,还解决了挂谷猜想
一个支撑数百篇研究论文的经典假设,可能被AI证伪。
👁 18♥ 0
#OpenAI#Lean形式化#挂谷猜想
AI资讯36氪2026/10/27
王的猜想,被AI一夜通关
AI 正在终结数学的浪漫时代
👁 24♥ 0
#OpenAI#AI数学证明#Lean形式化
AI资讯36氪2026/10/10
陶哲轩转发抵制声明,数学界和OpenAI彻底撕破脸
该怎么证明自己真的不需要 AI
👁 28♥ 0
#OpenAI#陶哲轩#Lean形式化
AI资讯36氪2026/10/8
翻完OpenAI的722篇数学手稿,我们挑出了最重的30道名题
722 篇手稿里有什么?盘点 OpenAI 数学仓库中的「名题清单」
👁 22♥ 0
#OpenAI#数学手稿#BSD猜想