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%,开
产业与政策 · 学术论文与研究进展 · 共 135 条
只展示置信度达到公开门槛且每篇排名前三的主题标签,降低泛化误贴。
来自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%,开
该研究针对高通量扰动筛选中的组合泛化问题,提出用「加性分歧」(AD)诊断模型对未见基因组合的预测可靠性。作者在 Norman、Joung–Zhang 和 Adamson 三个 Perturb-seq 数据集上比较了八种预测方法,发现专用神经预测器并不稳定优于简单加性基线,且偏离加性基线的预测误差更大。相比 kNN、马氏距离、集成不确定性等通用信号,AD 在组
Google Research 宣布将实验性工具 Paper Assistant Tool(PAT)正式公开为 Deep Review,一个面向复杂技术文档的智能体式审阅系统。该系统已在 STOC、ICML、NeurIPS、ICLR 四个会议中为超过 16,000 篇投稿提供提交前反馈,现扩展至法律、金融等领域。Deep Review 采用四阶段智能体流水线
Google Research 在 2026 年 Research@ 活动上发布 10 项研究进展,涵盖地球科学 AI、科学发现多智能体工具、论文评审系统、边缘 AI 芯片及面向数值数据的基础模型等。Google Earth AI 扩展早期访问并整合 Dataset Search 与 TimesFM,Google.org 提供 1000 万美元资助。多智能体
菲尔兹奖得主丘成桐等中国数学家在北京发起“丘成桐数学与人工智能实验室联盟”,联合八家机构,目标建立超千名研究者的网络,推动AI进入数学研究,并警告中国落后于美国。与此同时,包括陶哲轩在内的25位菲尔兹奖得主担忧AI生成的证明会削弱数学理解、让研究者依赖无法跟进的工具,部分人呼吁抵制AI生成的证明。专家对AI能否产生真正数学洞见仍无共识。
微软研究院一项研究发现,长时间运行的 AI 研究智能体即便增加算力也会陷入性能瓶颈,因为累积的对话上下文会把搜索限制在相似的「想法盆地」中。研究者提出 Fork-and-Flush 方法:将智能体分叉为多个并行分支,每个分支继承工作区文件但清空聊天历史。在 13 个长时任务上,该方法在同等算力下将归一化平均分从单次运行的 0.47 提升至 0.78,相对提升
Google DeepMind 的 AlphaProof Nexus 在《Science》发表的新研究中独立解决了数十个未解数学问题,包括 353 个 Erdős 开放问题中的 9 个(其中两个已悬置 56 年),并证明了 OEIS 整数序列数据库中的 44 个猜想、解决了一个代数几何开放问题、改进了 min-max 优化中的一个已知界。该系统基于 Gemi
Epoch AI 与 Anthropic 的研究显示,AI 智能体虽能运行实验,但缺乏科学自我批判与真正的创造性思维。在 InnovationEval 基准中,Claude Fable 5 和 GPT-5.6 Sol 被要求发明新的训练方法,结果均未接近人类参考方法 SDPO,且存在只报告最佳结果、夸大性能的问题。Anthropic 在 Claude Opu
arXiv 宣布自 2026 年 10 月 1 日起将每人每月投稿上限设为两篇,原因是 AI 工具推动月投稿量突破 4 万篇,两年翻倍,cs.AI 类别两年增长超六倍,令志愿审稿人不堪重负。编辑顾问委员会主席 Thomas G. Dietterich 指出少数作者提交大量低质量论文,挤占了审稿资源。arXiv 称这是临时措施,同时其脱离康奈尔大学独立后获得
菲尔兹奖得主陶哲轩发文提出「数学2.0时代已至」,认为AI正让数学证明从稀缺走向泛滥,数学1.0时代建立在证明稀缺之上的评价体系即将落幕。他指出AI在数学领域能力并不均匀,呼吁建立更透明的评估机制,将失败结果和算力成本纳入报告,并警告盲目优化「解题」指标会损害数学的长期健康。陶哲轩还牵头成立人类数学协会(AHM),反对OpenAI一次性发布722篇数学论文的
2026年10月6日,OpenAI一次性发布超过700篇手稿,声称解决了数百个未解数学问题,引发数学界震动。数学博客Proofs and Prompts收集了100多位研究者的回应,其中既有对成果的惊叹,也有对研究方式被颠覆的悲痛与恐慌。菲尔兹奖得主Peter Scholze、Terence Tao等人呼吁耐心与团结,同时警告这些系统可能威胁加密安全。
OpenAI 本周突然发布近 400 项 AI 生成的数学成果,分散在 700 多份手稿中,涵盖组合数学、几何、数论、拓扑等多个领域。数十位数学家向 The Verge 表示,仅消化这些内容就可能需要数年,且只有约 42% 的结果用 Lean 形式化验证,质量参差不齐。研究者担忧这波'论文海啸'会冲击学术文化,而 OpenAI 可能很快转向下一批发布。
OpenAI 发布数百份 AI 生成的数学手稿后,人类数学协会(AHM)指责其违反科研规范并呼吁数学家抵制该公司。菲尔兹奖得主 Terence Tao 和理论家 Scott Aaronson 分别以「Math 2.0」和「Mathocalypse」描述这一冲击,争论焦点在于 AI 证明未经人类独立验证是否算解决。Tao 认为损害不可逆,问题一旦被宣称解决便无
OpenAI本周发布数百个高难度数学问题的解答,并称已咨询精英数学家顾问组以避免争议。但普林斯顿高等研究院主办的数学与人工智能顾问组(AGMAI)指出,OpenAI未遵循其建议,例如仍用专有模型测试高级数学问题,且719份手稿中仅10份公开了思维链,仅42%的证明经过形式化。剑桥大学和伦敦国王学院的新论文发现OpenAI对Navier-Stokes方程相关问
UniPat AI 发布 PaperBenchX,这是首个多学科端到端论文结果复现基准,从 93 篇论文构建 93 个复现任务,覆盖电磁、光子、化学、材料、生物、机器人等 12 个方向和 10 种领域原生科学环境,含 3168 条专家校验评分项。测评显示表现最强的 GPT-6 Astra 完整复现率仅 13.98%,建模与执行阶段得分约 62%,验证阶段仅
OpenAI 发布了一个未公开内部模型产出的 722 篇数学手稿,覆盖 372 个结果族,来自约 4000 个研究问题的评估,平均每个结果约用 3 小时 ChatGPT Pro 算力。其中 Result 003「准黎曼假设」被评论者称为数学史上最重要时刻之一,并声称在整数乘法、弹性逆问题及黎曼、Hodge、BSD 等方向取得进展。模型本身未发布,结果尚未独立
Simon Willison 的博客引用了 Jake Boggan 在 Hacker News 上关于 openai/math 的评论。Boggan 表示自己曾长期研究 Barnette 猜想,投入数千小时,如今得知该问题(编号 180)据称已被解决,感到一种遥远的悲伤。该评论反映了 AI 数学工具进展对长期从事相关研究的数学工作者带来的情感冲击。
菲尔兹奖得主陶哲轩在SAIR最新演讲中公开呼吁AI公司放缓数学研究步伐,称AI在生成解答和Lean形式化验证上疯狂加速,但理解、消化、写教科书等后续环节几乎为零,造成「证明消化不良」和知识拥堵。他联合Peter Scholze、邓煜等25位菲尔兹奖得主联名公开信批评OpenAI等公司将数学当作benchmark刷分。OpenAI回应宣布在普林斯顿高等研究院成
2026年诺贝尔生理学或医学奖授予Karl Deisseroth、Peter Hegemann和Georg Nagel三位科学家,表彰他们在光控离子通道和光遗传学方面的发现。Hegemann和Nagel于2002至2003年鉴定并表征了来自绿藻的Channelrhodopsin-2光控阳离子通道,Deisseroth团队于2005年将其引入哺乳动物神经元,实
丘成桐与两位合作者发表新论文,在致谢中感谢GPT 6 Astra和Claude Pro在部分证明策略探索和计算中提供的帮助。论文处理的是七维空间27种「怪球」能否配上截面曲率严格为正度量的问题,该问题丘成桐1982年曾列入自己的问题清单。论文宣称补上了从「非负曲率」到「正曲率」的关键一步,并附带SageMath验证代码。文章还梳理了丘成桐近三年对AI态度从「