OpenAI 宣称证明准黎曼猜想,数学家如何评价
OpenAI 在 2026 年 10 月 6 日公布的 377 项结果中,有一项宣称解决了准黎曼猜想,即黎曼猜想的一个较弱版本。斯坦福大学的 Jared Duker Lichtman 称这项新证明是迄今 AI 用于数学最重要的成果,且领先幅度相当大。
入选理由材料交代了 OpenAI 宣称解决准黎曼猜想及数学家对其分量的评价,可据此判断 AI 在数学证明中的位置。
按时间排列的全部内容。默认只显示通过双重评分的入选条目;切换到“全部收录”可以检索所有抓到的资料。
2,348 条收录动态,更新于 05:27
全部收录包含没有通过评分的资料,标题以常规字体显示并标为“未入选”,只供检索,不写入选理由。
OpenAI 在 2026 年 10 月 6 日公布的 377 项结果中,有一项宣称解决了准黎曼猜想,即黎曼猜想的一个较弱版本。斯坦福大学的 Jared Duker Lichtman 称这项新证明是迄今 AI 用于数学最重要的成果,且领先幅度相当大。
入选理由材料交代了 OpenAI 宣称解决准黎曼猜想及数学家对其分量的评价,可据此判断 AI 在数学证明中的位置。
Nature 发布音频长读节目,探讨在 AI 时代如何借助批判性思维的科学保持判断力。该内容以音频形式呈现,正文页面因浏览器扩展、网络或设置问题未能加载,具体论述细节无法核实。
中国科学院上海硅酸盐研究所团队构建物理引导生成式超分辨模型 StableAFM,将 AFM 采样物理与潜空间扩散模型结合,在快速稀疏扫描条件下复原精细空间信息。
Nature Machine Intelligence 发表的可复用性报告考察了此前提出的生物网络学习框架 CORNETO 的可复用性,发现稳健的网络推断取决于数据可得性、先验知识、正则化和生物学背景,并据此划分出不同的稳健性区间。原文链接:https://www.nature.com/articles/s42256-026-01311-y
Nature Machine Intelligence 于 10 月 19 日在线发表论文《Towards understanding and monitorability of reasoning LLMs》,讨论前沿大语言模型逐步生成人类可读的推理文本,但这些推理 Token 并不构成对模型内部计算的准确解释,由此带来可监控性方面的挑战。
科技部10月16日召开科技信息工作座谈会,党组书记、部长阴和俊出席讲话,副部长林新主持。阴和俊提出加强科技发展动向跟踪与趋势研判,提高人工智能、大数据等新技术在信息工作中的运用,并构建协同高效的科技信息体系。国家综合性及行业、地方科技信息机构负责同志和高校专家代表参会。
MIT课程MAS.S62「How to AI an AI」的Lecture 4-5聚焦Harness演化与多Agent演化,讲义将Harness拆为Context、Control、Action、Evaluation、Evolution五个组件。
https://x.com/i/article/2112152891670896640
OpenAI 宣布收购 Orchestra Bio,后者是一个帮助生物医药团队协调药物研发流程的平台,其团队与技术将与 OpenAI 面向生命科学研究的 Rosalind 模型和工具整合。
Nature Machine Intelligence 在线发表的一项研究提出一种神经网络方法,衔接拉格朗日与欧拉两种视角,将稀疏观测转换为复杂且混沌流体运动的高分辨率物理准确图谱。论文由 Kai Fukami 撰写,DOI 为 10.1038/s42256-026-01319-4。
中国已选出首批获得15年期超长期资助项目的研究人员。该消息由 Nature 报道,但正文页面未能加载,具体入选人数、资助机构与资助金额等细节暂无法确认。
Crossref 与 STM 合作面向全体会员发起科研诚信调查,问卷已发送至各机构主要联系人,由机构内科研诚信专家填写,开放至 11 月 15 日。调查聚焦会员遇到的不端问题类型及其对工作流程的实际影响,结果将用于指导 Crossref 科研诚信(ISR)项目的下一步,并计划在 12 月 9 日 STM 的 Research Integrity Day 上分享。
Wan 等人在 Nature Machine Intelligence 发表 TrajectoryFlowNet,这是一个物理信息学习模型,可基于非常有限的轨迹测量同时预测长程粒子路径和流场。研究在模拟和血流实验中对该模型进行了验证。doi:10.1038/s42256-026-01316-7
Nature 刊文呼吁将同行评审作为核心科研技能纳入正式培训。文章认为审稿能力不应只靠实践中自行摸索,而应被系统教授。
担任 Elsevier 期刊 Nurse Education in Practice 主编的 Prof. Roger Watson 在 SciSpace 网络研讨会上拆解了编辑在送审前如何筛稿:他假期后收件箱积压 152 篇稿件,预计仅 25 篇能转给其他编辑处理。
Sharp 等人在 Nature Machine Intelligence 发表论文,考察 AI 智能体获取机会不均以及智能体质量与数量差异带来的影响。研究构建概念框架以识别潜在的不平等来源,并提出研究议程以应对由此产生的社会挑战。
用自己的名字给 Muse 命名,这很奇怪吗?
现在你可以协作创建幻灯片和视频概览,确保你得到的*正是*你想要的内容。具体操作如下: —从你的资料中选择一个建议的重点主题(或自行输入) —选择格式、长度、语言和视觉风格 —查看并编辑幻灯片大纲或视频制作说明 —生成,搞定! 面向所有 Pro 和 Ultra 订阅用户开放,试试看并告诉我们你的想法!
普林斯顿团队联合 Stanford、英国 AI Security Institute 和 Brookings 的研究者发布论文 Emerging Trends in AI Agent Evaluation,从科学方法、研究议程和评测生态三个维度梳理出 33 个新兴趋势,并给出面向评测者、资助方和政策制定者的建议。
研究团队构建了一支由不同学科背景的持久化 AI 研究者组成的团队,成员各自保留私有研究历史、共享实验证据,并通过自适应分配获得研究机会,用于搜索线性注意力架构。
HABIT-Bench 基准用于评估智能体记忆系统能否从弱证据中推断用户习惯并应用于后续请求,其合成用户历史覆盖餐饮、金融、软件、旅行四个领域、数百次会话,采用四选一任务并含临时例外、习惯变化与未被接受的建议。研究用 Qwen3-235B-A22B 和 GLM-5.3-Flash 评测八种记忆方法,最佳方法四领域宏平均准确率仅 33.61%,即使直接提供标注证据表现仍有限。
一项预印本研究追踪七个开源强化学习后训练框架的提交历史,并将其与 2025 年 1 月至 2026 年 6 月间筛选的 6939 篇 arXiv 论文关联,发现提出通用 RL 训练方法的 1598 篇论文中只有 37 篇进入至少一个框架。
研究提出“缓存工程”方案,让 LLM 智能体直接控制活跃 KV 缓存,通过 drop 将选定缓存排除出后续注意力、用 repos 调整保留键的位置编码,无需修改轨迹或重新预填充。
研究团队提出 Agent4Sci,一个覆盖 11 个领域、20 个科学 ML 基准的长程测试平台,用来衡量当前前沿智能体能否在真实条件下改进已发表的最优模型。结果显示,前沿智能体在每个基准上都取得提升,Claude Opus 平均相对改进 10.4%,且没有运行被标记为学术不端;但这些提升几乎都来自 ML 工程技巧,而非研究层面的洞察。
第15天/ 我们完蛋了 @OpenAIDevs:这是我们用 Codex 正在烹饪的内容: https://x.com/i/broadcasts/1RKZzBELBbXKB
Here’s what we’re cooking with Codex: https://x.com/i/broadcasts/1RKZzBELBbXKB
Google Research 表示,Google.org Impact Challenge: AI for Science 已公布 17 个受资助方,分享总额 3600 万美元的资金,这些非营利组织和学术团队的研究方向涵盖疾病预防到自然世界测绘。受资助方名单见 goo.gle/gic-science。
你上周用 grok @bot 完成了什么?
COOKED:第 1 集 🧑🍳 https://x.com/i/broadcasts/1RKZzBELBbXKB
蚂蚁 inclusionAI 发布医疗专用模型 Ling-3.0-flash-Sante,基于 Ling-3.0-flash 构建,总参数 124B、每 token 激活 5.1B,权重已在 Hugging Face 和 ModelScope 开放。
@reflection_ai @baseten - 排行榜:https://arcprize.org/leaderboard - 复现公开结果:https://github.com/arcprize/arc-agi-benchmarking - 测试政策:https://arcprize.org/policy - Beam 1.0 完整结果:https://arcprize.org/results/reflection-beam-1-0