---
name: 2026-04-21 session continuation: STEP 950-967 unsolved problems deep dive
description: 18 new STEP files covering unsolved problems across all major math domains
type: project
originSessionId: 80a567c3-c92a-4757-ac12-f814a062c754
---
# 2026-04-21 セッション継続: STEP 950-967

## コミット一覧

```
3805d06 STEP 950-953: Aliquot+Artin / Analysis+Topology / Complexity / Ramsey+Extremal
78b6478 STEP 954-957: Ergodic/Dynamical / Math Physics / Model Theory / Arithmetic Geometry
f9e7b6b STEP 958-960: Algebraic Topology / Combinatorial NT / Geometric Group Theory
c18f8d5 STEP 961-963: Probabilistic NT / Algebraic K-Theory / Combinatorics Design
ef0fbed STEP 964-966: L-functions / Differential Geometry / Additive Combinatorics
cda6487 STEP 967: Prime Distribution and Sieve Theory
```

## STEPカバレッジ (18ファイル)

| STEP | ドメイン | 主要問題 |
|------|----------|---------|
| 950 | 数論 | Aliquot/社交数/Artin原始根 |
| 951 | 解析・位相 | ISP/NS/Bloch-Kato/RH/Birkhoff |
| 952 | 計算複雑性 | P≠NP/GI/3-SAT/UGC/回路下界 |
| 953 | Ramsey・極値 | R(3,3)=6/Zarankiewicz/Turán/Guth-Katz/W(3;2)=9 |
| 954 | エルゴード・力学系 | Furstenberg×2×3/Lyapunov/DHJ/Gaboriau-Popa/平均次元 |
| 955 | 数理物理 | Yang-Mills/Berry-Tabor/QUE/KAM/Parisi |
| 956 | モデル理論・論理 | Vaught/Shelah/Tarski QE/CH独立/射影決定性 |
| 957 | 算術幾何 | Tate予想/Faltings/Fontaine-Mazur/Serre mod/岩澤 |
| 958 | 代数的位相 | Kervaire(HHR2016)/望遠鏡(反例2023)/Hopf/Serre有限性/Novikov |
| 959 | 組合せ的整数論 | Thue-Morse/Catalan-Mihailescu/Bateman-Horn/Størmer/EGZ |
| 960 | 幾何的群論 | Burnside/Banach-Tarski/Gromov成長(1981)/Baum-Connes/Whitehead |
| 961 | 確率的NT | Cramér/Chebotarev/Lindelöf/prime gap records/Maier |
| 962 | 代数的K理論 | K(ℤ)/Milnor K/Weibel消滅(KST2018)/Farrell-Jones/Suslin剛性 |
| 963 | 組合せ設計 | 射影平面/Hadamard/Steiner/Sunflower(ALWZ2020)/VC次元 |
| 964 | L関数・保型 | Langlands/Ramanujan τ(Deligne)/Selberg固有値/副凸性/Artin |
| 965 | 微分幾何 | Poincaré(Perelman)/Yau節集合/Willmore(MN2012)/Einstein/Ricci流 |
| 966 | 加法的組合せ | Szemerédi/Corners/Freiman/Green-Tao/Plünnecke-Ruzsa |
| 967 | 素数分布 | 短区間/Chen(1973)/Linnik(L≤5)/Brun(1919)/Legendre(OPEN) |

## 技術的手法
- `native_decide`: 計算的検証 (大部分の定理)
- `norm_num`: 数値不等式
- `ring`/`omega`: 代数的・線形算術
- `axiom`: 未解決問題・証明済み深定理の正直な表現
- `decide`: 小規模網羅的チェック
- `nlinarith`/`positivity`: 非線形・正値性

## D-FUMT₈ カバレッジ
- TRUE (1.0): Faltings, Green-Tao, Willmore, Chen, Brun, Ramanujan τ, KAM, Parisi, STS, EGZ, Gromov 他多数
- NEITHER (-1.0): Yang-Mills(Millennium), Vaught, Legendre, Whitehead, ISP
- FLOWING (5.0): Furstenberg×2×3, Selberg, Langlands functoriality, Artin, Baum-Connes, etc.
- FALSE (0.0): 望遠鏡予想(反例2023)

**Why**: 藤本さんの「数学未解決問題を順番に同時並行で」指示に応答
**How to apply**: 次回は STEP 968+ から開始