本期重点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
精选范围，不代表全部前沿成果
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 · 静态内容不会自动更新
ABOUT THE AUTHOR · RESEARCHER · ENGINEER
关于作者。
Xinjun Wang 是工程师与独立研究者，研究兴趣横跨理论物理、量子信息、数学、形式化推理与计算结构。求解纪由他发起、设计并持续维护，目的是把新结果放回问题脉络，清楚区分证据、成立边界与仍未解决的部分。
为什么做求解纪
前沿知识散落在论文、预印本与机构页面里。这个网站尝试让普通读者用一次阅读看懂：原来卡在哪里、这次推进了多少、证据到了哪一步。
作者与内容责任
网站的选题、结构、表达与持续维护由 Xinjun Wang 负责。外部论文链接用于核验来源；收录不等于为论文的全部主张背书。
PUBLICATIONS & DOI RECORDS
可核对的研究成果。
53 项 DOI 或期刊标识符记录 · 另有 1 项无 DOI 学术记录
仅当前记录 · 核查 2026.10.13
HOW WE READ THE FRONTIER
让来源清楚，
让判断有边界。
读懂“最新”之前，先读懂这项结果是什么。
优先原始来源
论文、预印本、合作组、标准机构和正式仓库。能给 DOI 就给 DOI，并保留修订记录。
验证层级分开
数值吻合、形式化证明、实验验证、同行评议和独立复现不是一回事，分别标注。
AI 与人的贡献分开
模型研发者、工具使用者、问题提出者、证明者和实验验证者分别说明，不把系统能力写成自主科学家。
每条都写边界
改进一个界不等于解决完整猜想；发现候选不等于药物或材料已经可用。
当前覆盖范围
覆盖数学、物理、计算机、化学、生命科学、医学与健康、地球与空间、材料与工程、人文与社会九个门类；问题地图与 AI 案例用于持续扩充，不宣称穷尽全部研究前沿。
OpenAI 数学目录按官方仓库当前版本解析。“成果族”可能包含主结果、伴随论证、推论或替代证明，不能直接等同于独立解决的问题数。
READ FURTHER
继续阅读与交叉核对。
外部网站只作资料入口，
不代表本站为其全部内容背书。