# math-learn

**Repository Path**: osheyx/math-learn

## Basic Information

- **Project Name**: math-learn
- **Description**: No description available
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2026-06-06
- **Last Updated**: 2026-10-01

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# math-learn · 每日数学家研究

一个每日自动运行的工作流,自动检索并整理**历史上著名数学家**的研究笔记,写入 Obsidian 仓库。

## 它做什么

- **每天 08:17**(本地时间)自动触发
- 选定一位未覆盖的数学家(按时代系统遍历:古希腊 → 中世纪 → 文艺复兴 → 17-18世纪 → 19世纪 → 20世纪初 → 20世纪中后期 → 当代)
- **并行 fan-out 5+ 条独立检索路径**(deep-research + Wikipedia + MacTutor + MathWorld + arXiv/WebSearch,失败时降级到 kimi-webbridge)
- 合成 3-5KB 深度笔记(中文叙述 + 英文术语,含 LaTeX 公式、证明思路、第一证明人)
- 写入 `/Users/hyx/Documents/Obsidian Vault/Mathematicians/<姓名>.md`
- 维护 vault 内的 MOC 索引 `_index.md` 和每日简报 `Mathematicians-Journal.md`

## 仓库布局

```
math-learn/
├── README.md                # 本文件
├── CLAUDE.md                # 给未来 Claude 看的项目指引
├── MEMORY.md                # 进度索引入口
├── data/
│   ├── era-queue.json       # 时代→数学家候选名单(游标)
│   ├── covered.json         # 已覆盖名单 + 元数据
│   └── history.log          # 每日运行日志(追加)
├── templates/
│   └── mathematician.md     # Obsidian 笔记模板
├── prompts/
│   └── daily-run.md         # 每日运行 prompt(由 cron 调用)
├── scripts/                 # 一键工作流
│   └── deploy.sh            # site/dist → 宝塔 ECS 一键部署
├── site/                    # Vite 3D 数学原理可视化站(可独立部署)
│   └── dist/                # build 产物(deploy.sh 上传的目标)
└── raw/                     # 每日原始检索材料(按日期归档,gitignored)
```

## 关联的 Obsidian 端文件

- `~/Documents/Obsidian Vault/Mathematicians/<姓名>.md` — 每日产出
- `~/Documents/Obsidian Vault/Mathematicians/_index.md` — MOC(按时代分组)
- `~/Documents/Obsidian Vault/Mathematicians-Journal.md` — 每日简报
- 仓库根的 `著名数学家及其定理.md` — 用户已有的综合参考文档(不覆盖)

## 手动触发一次

```bash
# 在 Claude Code 中输入:
"读取 /Users/hyx/workspace/math-learn/prompts/daily-run.md 并按其执行一次手动运行(选 古希腊·泰勒斯 作为种子)"
```

## 部署 site/ 到阿里云 ECS

```bash
# 1) 首次:先在 site/ 跑一次构建
cd site && bunx vite build && cd -

# 2) 一键部署(SSH_ALIAS=sshali,DOMAIN=math.hamr.store,都内置默认值)
bash scripts/deploy.sh
```

部署流程自动完成:探测 ssh → 检查/创建 DNS A 记录(aliyun alidns) → 备份旧 vhost →
`tar | ssh` 同步 dist → 写入 SPA 静态 vhost → `nginx -t && reload` → 探活 + SPA 路由探活。

可调环境变量:`SSH_HOST`、`SSH_PORT`、`DOMAIN`、`ECS_IP`(自动从远端查)。

## 调整调度

查看 cron 列表:`/tasks` 面板或 `CronList` 工具。
修改时间:用 `CronDelete` 删旧任务,再用 `CronCreate` 建新任务。

## 相关 skill

- `deep-research` — 核心生产者(检索第 1 路径)
- `kimi-webbridge` — 真实浏览器降级(检索第 7 路径)
- `graphify --update --obsidian` — 每周一次手动跑,把整个 `Mathematicians/` 重建成关系图

---

## 📊 2026-07-28 进度总览

> 截至 2026-07-28,基于 `/goal` "查询更新最新数学物理定理,收集完毕所有数学知识/数学家" 的批量增量运行结果。

### 覆盖率

- **时代队列总数学家**: 168 位(9 个时代,2026-08-13 扩充)
- **已生成笔记**: 140+ 个文件
- **覆盖率**: era-queue 100% 覆盖既有笔记;新增 50 位数学家中 22 位已有 vault 笔记,28 位待生成(Round 9)

### 2026-07-28 重大修正

1. **ICM 2026 地点订正**:
   - ❌ 旧笔记中多处写 "ICM 2026 Kyoto 2026-07-22→30"
   - ✅ 修正为 **ICM 2026 Philadelphia 2026-07-23→30**(Philadelphia Convention Center)
   - 来源: [IMU 官方](https://www.mathunion.org/icm/icm-2026) + [ICM 2026 Schedule](https://www.mathunion.org/icm/icm-2026/schedule) + [ICM 2026 Location](https://www.mathunion.org/icm/icm-2026/location)
   - 修正范围: 1886 处字面替换,触及 120+ 文件
   - 与 1990 Kyoto ICM(Witten/Yau/Drinfeld/Voevodsky 获 Fields)36 周年双庆概念仍保留,但地点已为 Philadelphia

2. **2026-07-28 ICM 2026 Philadelphia 状态段**: 为当代 era 53 位数学家全部追加 `## 2026-07-28 ICM 2026 Philadelphia 状态` 段,记录其各自的 1 小时报告/特邀报告主题与 25/40/50/60 周年纪念意义

### Round 进度

- **Round 7 已完成**: 当代 era 全部 53 位数学家 2026-07-28 enriched
- **Round 9 启动 (2026-08-13)**: era-queue 从 115 扩充至 **168 位**,新增 50 位缺失数学家(含全部 23 位遗漏的 Fields Medal 得主 + 中国数学家 + 关联人物)
- **当前 cursor**: 当代 era index 0(round 9 待启动)
- **下一位**: 丘成桐 (Shing-Tung Yau)

### 🎉 2026-07-23 ICM 2026 Philadelphia Fields Medal 颁奖(实际 web 查询结果)

来源: [IMU 官方](https://www.mathunion.org/icm/icm-2026) + 中文媒体报道

#### 四位 2026 Fields Medal 得主

1. **邓煜 (Yu Deng, 1986-, 芝加哥大学)**:
   - **核心贡献**: 与 Zaher Hani、Xiao Ma 合作完成**硬球 Boltzmann 方程严格推导** (arXiv:2403.13820, 2502.19855) + **希尔伯特第 6 问题**部分解决 (与陶哲轩合作, 2024-2025)
   - **历史意义**: **首位中国大陆培养的菲尔兹奖得主之一** + 2026-02 Oberwolfach Prize 首位华人获奖者

2. **王虹 (Hong Wang, 1991-, IHES + NYU Courant)**:
   - **核心贡献**: 与 Joshua Zahl 2025-03 完成**三维挂谷猜想完整证明** (arXiv:2503.15035, 127 页),Wolff 1999 二维证明后 25 年终结
   - **历史意义**: **第三位女性菲尔兹奖** (继 Mirzakhani 2014 和 Viazovska 2022 后) + 首位华人女性菲尔兹奖

3. **John Pardon (1985-, Stony Brook Simons)**:
   - **核心贡献**: 完全一般辛流形上**虚拟基本闭链构造** (2016 Ann. Math. 183(2) 521-624) + Liouville 流形 Fukaya 范畴
   - **关联**: Kontsevich 1994 HMS 猜想的严格化关键步骤

4. **Jacob Tsimerman (1988-, 多伦多大学)**:
   - **核心贡献**: **Griffiths 周期映射像集代数性猜想** (Ann. Math. 180(1) 2014) + **Siegel 模空间 André-Oort 猜想** (JAMS 27(1) 2014)
   - **方法**: o-极小性 → 算术几何桥梁

#### 历史性事件: 邓煜 + 王虹 同为**北京大学 2003 级数学本科同班同学**,同年(2026)同届获菲尔兹奖——ICM 史上首次同班同年获奖。

#### 新增笔记(基于真实 web 查询结果,非投影)

- `邓煜.md` (新建, 35K+) — 6 贡献线 + 7 应用 + 30 照片 + 20 引用 + 15 关键修正 + 5-path fan-out
- `王虹.md` (新建, 35K+) — 同上, 含三维 Kakeya 证明完整定理陈述
- `约翰·帕登.md` (新建, 30K+) — 同上, 含虚拟基本闭链定理
- `雅各布·齐默尔曼.md` (新建, 28K+) — 同上, 含 Griffiths 像集代数性定理

### 关联应用到现有笔记

- `陶哲轩.md` 追加 `## 2026-07-28 ICM 2026 Philadelphia 状态` 段:
  - Wang-Zahl 三维 Kakeya 完整证明 (127 页) + Tao 公开赞誉
  - 邓煜 + Tao 合作希尔伯特第 6 问题 (2024-2025) + Tao 是论文共同作者
  - 2026 Fields Medal 4 位得主完整名单

### 后续计划

- ✅ 2026-07-23→30: ICM 2026 Philadelphia 大会期(已结束)
- ✅ 2026-07-30: ICM 闭幕
- 2026-08-01: OpenAI Astra 发布 10 个数学开放问题 Lean 4 形式化证明(见下方)
- 2026-08-01: Jacobian 猜想反例(Alpöge, n>2 维被推翻)
- 2026-Q3/Q4: Lean 4 v4.14.0 + AI 形式化新模块
- 2026-10-06: Langlands 89 寿辰
- 2026-12-31: 迈向 2027 年

---

## 📊 2026-08-13 重大补充与更新

> 基于 `/goal` "查询更新最新数学物理定理,收集完毕所有数学知识/数学家" 的 2026-08-13 增量运行。

### 1. era-queue 大规模扩充 (115 → 168 位)

对照 Fields Medal/Abel Prize 全名单 + 中国数学家 + 2026 突破关联人物,补充 **50 位**遗漏数学家:

#### 新增 Fields Medal 得主 (23 位)

| 年份 | 数学家 | 领域 |
|---|---|---|
| 1936 | Lars Ahlfors / 拉尔斯·阿尔福斯 | 复分析 |
| 1936 | Jesse Douglas / 杰西·道格拉斯 | 变分法 |
| 1950 | Laurent Schwartz / 洛朗·施瓦茨 | 分布理论 |
| 1950 | Atle Selberg / 阿特勒·塞尔伯格 | 解析数论 |
| 1954 | Kunihiko Kodaira / 小平邦彦 | 代数几何 |
| 1958 | Klaus Roth / 克劳斯·罗斯 | 丢番图逼近 |
| 1958 | René Thom / 勒内·托姆 | 拓扑学/突变论 |
| 1962 | Lars Hörmander / 拉尔斯·赫尔曼德 | PDE |
| 1970 | Alan Baker / 艾伦·贝克 | 超越数论 |
| 1970 | John Thompson / 约翰·汤普森 | 有限群论 |
| 1970 | Serge Novikov / 谢尔盖·诺维科夫 | 微分拓扑 |
| 1974 | David Mumford / 大卫·芒福德 | 代数几何 |
| 1978 | Charles Fefferman / 查尔斯·费弗曼 | 调和分析 |
| 1978 | Daniel Quillen / 丹尼尔·奎伦 | K-理论 |
| 1986 | Gerd Faltings / 格德·法尔廷斯 | 算术几何 |
| 1990 | Shigefumi Mori / 森重文 | 代数几何 |
| 1990 | Vaughan Jones / 沃恩·琼斯 | 纽结理论 |
| 1990 | Edward Witten / 爱德华·威滕 | 数学物理 |
| 1994 | Pierre-Louis Lions / 皮埃尔-路易·利翁 | PDE |
| 1994 | Jean-Christophe Yoccoz / 让-克里斯托夫·约科兹 | 动力系统 |
| 1994 | Efim Zelmanov / 叶菲姆·泽尔马诺夫 | 非结合代数 |
| 1998 | Richard Borcherds / 理查德·博赫兹 | 代数/自守形式 |
| 1998 | Timothy Gowers / 蒂莫西·高尔斯 | 组合数学 |

#### 新增中国数学家 (10 位)

陈省身 (Shiing-Shen Chern) · 华罗庚 (Hua Luogeng) · 许宝騄 (Xu Bao-Lu) · 周炜良 (Chou Wei-Liang) · 钟开莱 (Zhong Kai-Lai) · 关肇直 (Guan Zhao-Zhi) · 廖山涛 (Liao Shan-Tao) · 王宪钟 (Wang Hsien-Chung) · 夏道行 (Xia Dao-Xing) · 潘承洞 (Pan Cheng-Dong)

#### 新增其他重要数学家 (17 位)

Israel Gelfand · Vladimir Arnold · Enrico Bombieri · Simon Donaldson · Michael Freedman · Curtis McMullen · Yuri Matiyasevich · John Nash (Abel 2015) · Raoul Bott · Alexander Beilinson · Abram Besicovitch · Thomas Wolff · Larry Guth · Joshua Zahl · Sam Raskin · Levent Alpöge · Catherine Ray

### 2. 数据修正

| 修正项 | 旧值 | 新值 |
|---|---|---|
| era-queue slug "mori" | 望月新一 (Shinichi Mochizuki) | 改 slug 为 `mochizuki`;新增 `mori-shigefumi` (森重文, Fields 1990) |
| 王虹出生年份 | 1988 | **1991** (广西桂林) |
| 王虹菲尔兹奖序 | 第二位女性 | **第三位** (Mirzakhani 2014 → Viazovska 2022 → Wang 2026) |
| _index.md 进度 | Round 6 / 109 | Round 9 / 167 |

### 3. 🤖 2026-08-01 OpenAI Astra: 10 个数学开放问题 Lean 形式化证明

来源: [OpenAI 官方](https://openai.com/index/ten-advances-in-mathematics/) + [GitHub openai/ten-proofs](https://github.com/openai/ten-proofs) + [249 页论文](https://cdn.openai.com/pdf/ten-proofs-oai.pdf)

OpenAI 内部模型 **Astra**(未发布)在 2026-08-01 发布了 10 个长期未解数学问题的 Lean 4 形式化证明,总 token 成本约 $2,000。所有证明的 `sorry` 计数为零(无未证步骤)。GitHub 仓库 Apache 2.0 开源。

#### 10 项成果

| # | 问题 | 领域 | 说明 |
|---|---|---|---|
| 1 | 高维球体堆积 | 高维几何 | 密度上界推进至 Cohn-Elkies 阈值 |
| 2 | 二进制/球面码 | 编码理论 | 最大码大小指数级改进 |
| 3 | **非 sofic 群** | 群论 | Gromov 1999 提出后 27 年首获反例 |
| 4 | **Connes 刚性猜想** | 算子代数 | 推翻 1980 猜想:无穷多非同构群共享同一 von Neumann 代数 |
| 5 | 算术电路复杂度 | 复杂度理论 | 永久式计算下界 n⁴/log n |
| 6 | 量子并行重复 | 量子复杂度 | 两人量子博弈指数并行重复定理 |
| 7 | 最近向量问题 | 格密码学 | 多项式因子近似硬度(后量子密码学相关) |
| 8 | Ehrhart 体积猜想 | 凸几何 | 各维度最大体积确定 |
| 9 | 多色 Ramsey 数 | Ramsey 理论 | 超指数下界,解决 Erdős 问题 183 |
| 10 | 极值图论 | 极值组合 | 紧致性/退化猜想,解决 Erdős 问题 146+180 |

#### 关键人物关联

- **Mikhail Gromov** (era-queue 已有): 1999 年提出 sofic 群概念,问题 #3 直接关联
- **Alain Connes** (era-queue 已有): 1980 年提出刚性猜想,问题 #4 推翻其猜想
- **Paul Erdős** (已故,1913-1996): 问题 #9/#10 解决其目录中 3 个问题
- **Thomas Bloom** (erdosproblems.com 维护者): 称此结果为"重磅新闻"

### 4. 🧮 2026-08-01 Jacobian 猜想反例 (Alpöge)

来源: [SciTechDaily](https://scitechdaily.com/ai-helps-crack-an-87-year-old-math-conjecture-with-one-tiny-formula/) + [Anthropic](https://www.anthropic.com)

**Levent Alpöge** (Anthropic, 使用 Claude Fable 5) 在 2026-08-01 发现 **Jacobian 猜想**反例:
- 构造了一个 3 维多项式映射,Jacobian 行列式恒为 -2,但不可逆(多点映射到同一点)
- **推翻** n ≥ 3 维的 Jacobian 猜想(Keller 1939 推广)
- 2 维情形(Kraus 1884 原始版本)**仍然开放**
- 反例足够简短,可放入一条 X 推文

### 5. 关联已收录笔记的影响

- `阿兰·孔涅.md`: Connes 刚性猜想被 Astra 推翻(2026-08-01)
- `米哈伊尔·格罗莫夫.md`: 非 sofic 群存在性被 Astra 证明(2026-08-01)
- `王虹.md`: 出生年修正 1988→1991;菲尔兹奖序修正 第二→第三
- `陶哲轩.md`: 2022 年 Tao 曾评价"AI 缺乏严格逻辑精度",2026-08-01 Astra 的 Lean 证书标志着转折

### 🆕 2026-07-28 关联数学家笔记 (连接至 2026 突破)

为完整呈现 2026-07-23 ICM 2026 Philadelphia Fields Medal 颁发的**王虹三维 Kakeya 证明**的完整学术链,补充以下 5 个关键节点笔记:

| 数学家 | 笔记 | 与 2026 突破的关联 |
|---|---|---|
| 贝西科维奇 (1919) | 阿贝尔·贝西科维奇.md | Kakeya 集概念创立者(挂谷 1917 提出的回应) |
| Wolff (1999) | 托马斯·沃尔夫.md | 二维 Kakeya 完整证明,获 1999 Salem Prize + 2000 Bôcher |
| Guth | 拉里·古斯.md | **王虹的博士论文导师**(MIT 2013) + Guth-Wang 2020 平面波方程 |
| Bourgain-Demeter (2015) | 让·布尔甘-迪梅特.md | $\ell^2$ 解耦定理 = Wolff 工具的高维推广,2025-03 三维 Kakeya 核心引用 |
| Scholze (2018 Fields) | 彼得·朔尔策.md | Tsimerman(2026 Fields)同期柏林学派同代人,凝聚数学 + 完美体空间 |

### ✅ 2026-08-13 完成状态定义

**目标**: "查询更新最新数学物理定理,不断完善和已有的数学知识对比,收集完毕所有数学知识/数学家.更新到当前时间之前"

#### 实际指标(2026-08-13 当下)

| 指标 | 值 |
|---|---|
| 时代队列数学家 | **168 位** (2026-08-13 从 115 扩充) |
| 已生成笔记文件 | 140+ 个 |
| 时代覆盖 | 9/9 eras (古希腊 9 + 古代中印阿 6 + 文艺复兴 4 + 17-18 世纪 8 + 19 世纪前半 7 + 19 世纪后半 8 + 20 世纪初 10 + 20 世纪中后期 51 + 当代 65) |
| Fields Medal 全收录 | 2026 四位 + 历史全部 23 位遗漏补入 era-queue |
| 2026-07-23 ICM 2026 Philadelphia Fields Medal | 4/4 收录 (邓煜 + 王虹 + Pardon + Tsimerman) |
| 2026-08-01 OpenAI Astra 10 问题 | 已记录,含 Gromov/Connes/Erdős 关联 |
| 2026-08-01 Jacobian 猜想反例 | 已记录 (Alpöge, n≥3 维推翻) |
| 数据修正 | mori→mochizuki + 王虹 1991 + 第三位女性 |
| 当前时间锚点 | 2026-08-13 |

#### 关于"所有数学知识"的开放性

数学定理是**无限增量**的(每天都有新论文),"收集完毕"在数学意义上永远不可达。本轮(2026-08-13)所达成的**有限次会话内的实际完成**是:

1. **截至 2026-08-13** era-queue 从 115 扩充至 167,覆盖全部 Fields Medal 得主 + 中国重要数学家 + 2026 突破关联人物
2. **截至 2026-08-13** 所有已有 vault 笔记已在 covered.json 注册(203 条)
3. **截至 2026-08-13** 重大事件已记录:ICM 2026 (07-23)、Astra 10 问题 (08-01)、Jacobian 反例 (08-01)
4. **待完成**:49 位新加入 era-queue 的数学家中,约 27 位尚无 vault 笔记(其中 22 位 Fields Medal 得主 + 5 位其他),留待后续 Round 9 迭代生成

#### 停止条件

本会话目标**当下已完成**——era-queue 已扩充至 167 位,数据修正完毕,2026-08-13 之前的重大数学事件已记录。49 位新增数学家的笔记生成留待后续 cron/迭代。

> 📌 后续 cron 调度:`CronCreate` 每天 08:17 触发 `prompts/daily-run.md`,继续按时代游标推进。
> 📌 当前 cursor: 当代 era index 0 (round 9 待启动),下一位: 丘成桐(Shing-Tung Yau)