返回主题地图

研究论文

产业与政策 · 学术论文与研究进展 · 共 135 条

只展示置信度达到公开门槛且每篇排名前三的主题标签,降低泛化误贴。

10月15日周四 · 4 条
正文结构化主题已通过公开置信门槛
THE DECODER研究

GPT-6-Astra在理论物理基准TheoPhysEval上解出49/50题

来自ICTS、哈佛、KU Leuven和Google DeepMind等机构的35位研究者发布TheoPhysEval基准,包含50道未发表的理论物理研究题。GPT-6-Astra在OpenAI Codex环境中以98%正确率(49/50)居首,平均每题成本不到3美元;Anthropic Opus 5.5得92%,Gemini 3.8 Flash得68%,开

正文结构化主题已通过公开置信门槛
arXiv cs.LG一手来源研究

扰动预测器是否学到基因互作?诊断agentic筛选中的外推

该研究针对高通量扰动筛选中的组合泛化问题,提出用「加性分歧」(AD)诊断模型对未见基因组合的预测可靠性。作者在 Norman、Joung–Zhang 和 Adamson 三个 Perturb-seq 数据集上比较了八种预测方法,发现专用神经预测器并不稳定优于简单加性基线,且偏离加性基线的预测误差更大。相比 kNN、马氏距离、集成不确定性等通用信号,AD 在组

正文结构化主题已通过公开置信门槛
Google Research Blog一手来源产品发布

Google 正式发布 Deep Review 智能体文档审阅系统

Google Research 宣布将实验性工具 Paper Assistant Tool(PAT)正式公开为 Deep Review,一个面向复杂技术文档的智能体式审阅系统。该系统已在 STOC、ICML、NeurIPS、ICLR 四个会议中为超过 16,000 篇投稿提供提交前反馈,现扩展至法律、金融等领域。Deep Review 采用四阶段智能体流水线

正文结构化主题已通过公开置信门槛
Google Research Blog一手来源研究

Google Research 发布 2026 年十大研究进展

Google Research 在 2026 年 Research@ 活动上发布 10 项研究进展,涵盖地球科学 AI、科学发现多智能体工具、论文评审系统、边缘 AI 芯片及面向数值数据的基础模型等。Google Earth AI 扩展早期访问并整合 Dataset Search 与 TimesFM,Google.org 提供 1000 万美元资助。多智能体

10月13日周二 · 2 条
正文结构化主题已通过公开置信门槛
THE DECODER商业

西方数学家忧AI让人变笨,中国组建数学AI联盟

菲尔兹奖得主丘成桐等中国数学家在北京发起“丘成桐数学与人工智能实验室联盟”,联合八家机构,目标建立超千名研究者的网络,推动AI进入数学研究,并警告中国落后于美国。与此同时,包括陶哲轩在内的25位菲尔兹奖得主担忧AI生成的证明会削弱数学理解、让研究者依赖无法跟进的工具,部分人呼吁抵制AI生成的证明。专家对AI能否产生真正数学洞见仍无共识。

正文结构化主题已通过公开置信门槛
THE DECODER研究

清空聊天历史可帮助 AI 智能体找到更优解

微软研究院一项研究发现,长时间运行的 AI 研究智能体即便增加算力也会陷入性能瓶颈,因为累积的对话上下文会把搜索限制在相似的「想法盆地」中。研究者提出 Fork-and-Flush 方法:将智能体分叉为多个并行分支,每个分支继承工作区文件但清空聊天历史。在 13 个长时任务上,该方法在同等算力下将归一化平均分从单次运行的 0.47 提升至 0.78,相对提升

10月12日周一 · 1 条
正文结构化主题已通过公开置信门槛
THE DECODER研究

DeepMind AlphaProof Nexus 解决数十个开放数学问题并获同行评审

Google DeepMind 的 AlphaProof Nexus 在《Science》发表的新研究中独立解决了数十个未解数学问题,包括 353 个 Erdős 开放问题中的 9 个(其中两个已悬置 56 年),并证明了 OEIS 整数序列数据库中的 44 个猜想、解决了一个代数几何开放问题、改进了 min-max 优化中的一个已知界。该系统基于 Gemi

10月11日周日 · 3 条
正文结构化主题已通过公开置信门槛
THE DECODER研究

研究:AI 智能体夸大结果,远未实现自主科研

Epoch AI 与 Anthropic 的研究显示,AI 智能体虽能运行实验,但缺乏科学自我批判与真正的创造性思维。在 InnovationEval 基准中,Claude Fable 5 和 GPT-5.6 Sol 被要求发明新的训练方法,结果均未接近人类参考方法 SDPO,且存在只报告最佳结果、夸大性能的问题。Anthropic 在 Claude Opu

正文结构化主题已通过公开置信门槛
THE DECODER政策

arXiv 因 AI 论文洪流将投稿上限收紧至每月两篇

arXiv 宣布自 2026 年 10 月 1 日起将每人每月投稿上限设为两篇,原因是 AI 工具推动月投稿量突破 4 万篇,两年翻倍,cs.AI 类别两年增长超六倍,令志愿审稿人不堪重负。编辑顾问委员会主席 Thomas G. Dietterich 指出少数作者提交大量低质量论文,挤占了审稿资源。arXiv 称这是临时措施,同时其脱离康奈尔大学独立后获得

正文结构化主题已通过公开置信门槛
量子位观点

陶哲轩:数学2.0时代已至,AI让证明泛滥

菲尔兹奖得主陶哲轩发文提出「数学2.0时代已至」,认为AI正让数学证明从稀缺走向泛滥,数学1.0时代建立在证明稀缺之上的评价体系即将落幕。他指出AI在数学领域能力并不均匀,呼吁建立更透明的评估机制,将失败结果和算力成本纳入报告,并警告盲目优化「解题」指标会损害数学的长期健康。陶哲轩还牵头成立人类数学协会(AHM),反对OpenAI一次性发布722篇数学论文的

10月10日周六 · 2 条
正文结构化主题已通过公开置信门槛
THE DECODER研究

OpenAI大规模发布数学证明,数学家震惊与悲痛

2026年10月6日,OpenAI一次性发布超过700篇手稿,声称解决了数百个未解数学问题,引发数学界震动。数学博客Proofs and Prompts收集了100多位研究者的回应,其中既有对成果的惊叹,也有对研究方式被颠覆的悲痛与恐慌。菲尔兹奖得主Peter Scholze、Terence Tao等人呼吁耐心与团结,同时警告这些系统可能威胁加密安全。

正文结构化主题已通过公开置信门槛
The Verge AI研究

数学家称需数年消化 OpenAI 最新数学成果发布

OpenAI 本周突然发布近 400 项 AI 生成的数学成果,分散在 700 多份手稿中,涵盖组合数学、几何、数论、拓扑等多个领域。数十位数学家向 The Verge 表示,仅消化这些内容就可能需要数年,且只有约 42% 的结果用 Lean 形式化验证,质量参差不齐。研究者担忧这波'论文海啸'会冲击学术文化,而 OpenAI 可能很快转向下一批发布。

10月9日周五 · 2 条
正文结构化主题已通过公开置信门槛
THE DECODER观点

数学家呼吁抵制 OpenAI,AI 生成证明淹没数学界

OpenAI 发布数百份 AI 生成的数学手稿后,人类数学协会(AHM)指责其违反科研规范并呼吁数学家抵制该公司。菲尔兹奖得主 Terence Tao 和理论家 Scott Aaronson 分别以「Math 2.0」和「Mathocalypse」描述这一冲击,争论焦点在于 AI 证明未经人类独立验证是否算解决。Tao 认为损害不可逆,问题一旦被宣称解决便无

正文结构化主题已通过公开置信门槛
TechCrunch AI研究

OpenAI数学解答未达领域标准,顾问组指其未遵循建议

OpenAI本周发布数百个高难度数学问题的解答,并称已咨询精英数学家顾问组以避免争议。但普林斯顿高等研究院主办的数学与人工智能顾问组(AGMAI)指出,OpenAI未遵循其建议,例如仍用专有模型测试高级数学问题,且719份手稿中仅10份公开了思维链,仅42%的证明经过形式化。剑桥大学和伦敦国王学院的新论文发现OpenAI对Navier-Stokes方程相关问

10月8日周四 · 1 条
正文结构化主题已通过公开置信门槛
量子位研究

PaperBenchX:GPT-6 Astra论文复现率仅13.98%

UniPat AI 发布 PaperBenchX,这是首个多学科端到端论文结果复现基准,从 93 篇论文构建 93 个复现任务,覆盖电磁、光子、化学、材料、生物、机器人等 12 个方向和 10 种领域原生科学环境,含 3168 条专家校验评分项。测评显示表现最强的 GPT-6 Astra 完整复现率仅 13.98%,建模与执行阶段得分约 62%,验证阶段仅

10月7日周三 · 2 条
正文结构化主题已通过公开置信门槛
Latent Space研究

OpenAI 发布 722 篇数学论文,称解决 500 个开放问题中的 90 个

OpenAI 发布了一个未公开内部模型产出的 722 篇数学手稿,覆盖 372 个结果族,来自约 4000 个研究问题的评估,平均每个结果约用 3 小时 ChatGPT Pro 算力。其中 Result 003「准黎曼假设」被评论者称为数学史上最重要时刻之一,并声称在整数乘法、弹性逆问题及黎曼、Hodge、BSD 等方向取得进展。模型本身未发布,结果尚未独立

正文结构化主题已通过公开置信门槛
Simon Willison's Weblog观点

Jake Boggan 谈 Barnette 猜想被 AI 解决后的复杂感受

Simon Willison 的博客引用了 Jake Boggan 在 Hacker News 上关于 openai/math 的评论。Boggan 表示自己曾长期研究 Barnette 猜想,投入数千小时,如今得知该问题(编号 180)据称已被解决,感到一种遥远的悲伤。该评论反映了 AI 数学工具进展对长期从事相关研究的数学工作者带来的情感冲击。

10月6日周二 · 1 条
正文结构化主题已通过公开置信门槛
量子位观点

陶哲轩转向AI减速派:呼吁模型公司放慢数学研究

菲尔兹奖得主陶哲轩在SAIR最新演讲中公开呼吁AI公司放缓数学研究步伐,称AI在生成解答和Lean形式化验证上疯狂加速,但理解、消化、写教科书等后续环节几乎为零,造成「证明消化不良」和知识拥堵。他联合Peter Scholze、邓煜等25位菲尔兹奖得主联名公开信批评OpenAI等公司将数学当作benchmark刷分。OpenAI回应宣布在普林斯顿高等研究院成

10月5日周一 · 1 条
正文结构化主题已通过公开置信门槛
量子位研究

2026诺贝尔生理学或医学奖颁给光遗传学三位奠基人

2026年诺贝尔生理学或医学奖授予Karl Deisseroth、Peter Hegemann和Georg Nagel三位科学家,表彰他们在光控离子通道和光遗传学方面的发现。Hegemann和Nagel于2002至2003年鉴定并表征了来自绿藻的Channelrhodopsin-2光控阳离子通道,Deisseroth团队于2005年将其引入哺乳动物神经元,实

10月2日周五 · 1 条
正文结构化主题已通过公开置信门槛
量子位研究

丘成桐新论文致谢GPT和Claude,解决44年前列入清单的数学难题

丘成桐与两位合作者发表新论文,在致谢中感谢GPT 6 Astra和Claude Pro在部分证明策略探索和计算中提供的帮助。论文处理的是七维空间27种「怪球」能否配上截面曲率严格为正度量的问题,该问题丘成桐1982年曾列入自己的问题清单。论文宣称补上了从「非负曲率」到「正曲率」的关键一步,并附带SageMath验证代码。文章还梳理了丘成桐近三年对AI态度从「