站内暂无「human input」的结果，已为你找到以下相关资讯：
首个接受同行评审的大语言模型！DeepSeek-R1论文登《自然》封面，作者包括梁文锋
9月18日，梁文锋带着DeepSeek-R1的研究，登上最新一期国际顶级期刊《自然》（Nature）封面。
Anthropic科学家宣布：全球博士生职业生涯一夜清零
过去 7 个月里，模型一直在解决数学家们此前未能攻克的数学难题;在硅谷，拥有「长期时间线」意味着认为 AGI 将在 10 年内到来。
现在复活一款老游戏，只需要 8 小时了
10 月 16 日，运营了两年的逆向工程反编译社区 decomp.dev 宣布关停，公告中很明确的提到人工+AI 能显著加快反编译过程。
难评，OpenAI刚官宣的NS方程大突破，被数学家手撕了……
数学史级别的大新闻，愣是被OpenAI整成了一出连续剧。刚被数学家指控抢成果，OpenAI紧急官宣:一个尚未发布、能力显著超过GPT-6 Astra的内部模型，已经解决了纳维–斯托克斯存在性与光滑性问题。
陶哲轩愤怒发文：AI正杀死数学百年开放传统
今天，全网都在吃OpenAI的这个大瓜。有人曝出一种说法:纽约大学数学家苦心孤诣寻找灵感，刚刚摸索出一条解决「千禧年大奖难题」的路径。
计算机领域天塌了，两大巨头同日宣布：世纪猜想ETH被证伪
昨夜，AI已经彻底跨越了科学研究的卢比孔河，正式开始「掀翻」人类的知识大厦。OpenAI 一口气在理论计算机、纯数学和理论物理三大领域投下核弹: