本期重点AI × MATHEMATICS
官方手稿库 · 持续修订不是“722 个难题
不是“722 个难题
全部解决”。
初始发布 722 篇；当前仓库为 719 篇、372 个成果族。本站把进入官方 Lean 来源目录的手稿单独标明并逐条链接。
查看可检查目录 目录核查 2026.10.13 核查截至 2026 年 10 月 13 日
记录人类知识
被推进的每一步。
追踪 AI 与人类如何推进数学、物理、化学与生命科学难题。
从证据边界，看见可能转化为生产力的价值。
09学科门类
—AI 学术案例
—问题入口
DISCIPLINES
九个学科，一张问题地图。
按问题组织，而不是按热搜组织。
点一个学科，直接进入对应问题。
AI AND THE RESEARCH PROCESS
AI 到底推进了
哪一个具体问题？
区分公司研发、学术团队和个人/联合研究；再区分“提出猜想、找到候选、给出证明、实验验证”这些完全不同的进展。
打开 AI 学术进展THE FRONTIER, IN CONTEXT
每一项进展，都有来路。
内容核查：2026.10.13
精选范围，不代表全部前沿成果
OFFLINE EDITION · ANDROID
把整座图谱，
留在自己的设备里。
服务器到期，也不影响继续查阅。离线版把本期正文、问题地图与 AI 学术目录完整装进手机，不依赖本站在线运行。
RELEASE RECORD01
- 版本
- 1.0.0
- 系统
- Android 7.0 及以上
- 内容快照
- 2026.10.13
- 安装包
- 2.72 MiB
SHA-256
8196def491c203c8d1e340fd934b1bd18f9adb6dd5415a9211fade922940592b核心阅读功能保留
正文、学科地图、站内搜索、筛选与收藏均可离线使用；收藏只保存在当前手机。
原始论文仍在网上
DOI、论文 PDF 与外部资料会交给系统浏览器打开，需要网络连接；离线包不会伪装成原始来源。
PRIVACY BY DEFAULT
阅读，不必留下身份。
零追踪静态托管
免费公开版不建立访客身份或累计访问数据库。
THE QUESTIONS THAT MATTER
从问题，看见前沿。
— 个问题入口。这里是研究导览；详细进展、条件和来源请看关联卡片。
AI × ACADEMIC PROGRESS
AI 推进了什么，
证据到了哪一步。
不是模型排行榜。每条记录都对应一个具体研究问题，并把 AI 的作用、人类的作用、验证状态和原始来源分开说明。
收录门槛必须能说清具体问题必须有原始论文或官方资料必须说明还没解决什么
BY YEAR · BY EVIDENCE
按年份看真实推进。
“公司开发了 AI”与“研究者用 AI 做研究”分别标明。
OPENAI MATHEMATICS · CHECKABLE CATALOGUE
“722 篇”里，哪些手稿进入了公开 Lean 目录？
初始发布为 722 篇；当前官方仓库为 719 篇、372 个成果族。README 自报“300 / 719 个 top-line results formalized”，但这与成果族数、YAML 来源数不是同一单位。本站按当前路径精确回链，逐篇列出 — 篇手稿，来自 — 个成果族；每篇都有独立白话解释和原文链接。
进入 Lean 来源目录不等于最终确认
“已最终确认”分栏：当前没有可可靠填入的公开逐篇名单。官方总状态为 Partial progress；review: unchecked。当前 YAML 列 173 个来源 PDF，本站有 172 个能与现行成果目录精确匹配；另 1 个因修订后路径变化未自动合并。本站没有独立编译或审计 Lean 工程。进入目录不自动确认新颖性、引文完整性、整篇全部主张或同行评议完成；官方若以后公布逐篇审核结果，本站再把已确认条目单列出来。查看官方修订记录 ↗
MODEL & PRODUCT UPDATES
AI 最新资讯。
模型与产品发布单独记录，
不算作“解决了学术问题”。
YOUR PERSONAL FRONTIER
我的关注。
把想继续了解的问题留在这里。收藏保存在当前浏览器，不会发送邮件。
求解纪 · RESEARCH BRIEF · VOL. 01
2026 年 10 月
首期阅读清单。
精选研究进展，按首次公开时间排序。核查截至 2026.10.13；这是编辑清单，不是完整月度综述。
本期整理日期：2026.10.13 · 静态内容不会自动更新
HOW WE READ THE FRONTIER
让来源清楚，
让判断有边界。
读懂“最新”之前，先读懂这项结果是什么。
优先原始来源
论文、预印本、合作组、标准机构和正式仓库。能给 DOI 就给 DOI，并保留修订记录。
验证层级分开
数值吻合、形式化证明、实验验证、同行评议和独立复现不是一回事，分别标注。
AI 与人的贡献分开
模型研发者、工具使用者、问题提出者、证明者和实验验证者分别说明，不把系统能力写成自主科学家。
每条都写边界
改进一个界不等于解决完整猜想；发现候选不等于药物或材料已经可用。
当前覆盖范围
覆盖数学、物理、计算机、化学、生命科学、医学与健康、地球与空间、材料与工程、人文与社会九个门类；问题地图与 AI 案例用于持续扩充，不宣称穷尽全部研究前沿。
OpenAI 数学目录按官方仓库当前版本解析。“成果族”可能包含主结果、伴随论证、推论或替代证明，不能直接等同于独立解决的问题数。
READ FURTHER
继续阅读与交叉核对。
外部网站只作资料入口，
不代表本站为其全部内容背书。