1718M.CN
AI · NEURAL · HUB
首页
文章
搜索
关于
NEURAL
· 连接
◈ AI NEWS · AI 资讯
全网最新 AI 动态
聚合全网大模型、产业动态、研究前沿资讯,每小时刷新。点击任一标签或分类可进一步筛选。
当前筛选
标签:#lean形式化
清除筛选
AI资讯
36氪
2026/10/10
陶哲轩转发抵制声明,数学界和OpenAI彻底撕破脸
该怎么证明自己真的不需要 AI
👁 14
♥ 0
#OpenAI
#陶哲轩
#Lean形式化
AI资讯
36氪
2026/10/8
翻完OpenAI的722篇数学手稿,我们挑出了最重的30道名题
722 篇手稿里有什么?盘点 OpenAI 数学仓库中的「名题清单」
👁 9
♥ 0
#OpenAI
#数学手稿
#BSD猜想