---
name: 単一証明完成優先 before 多分野横断
description: 藤本戦略決定 2026-04-19. 多分野 wiki 全取得は保留し、まず 1 つの構造的証明を完全完成させてから multi-field delta 取得へ pivot.
type: project
originSessionId: 79081859-fd56-4821-a0d2-932be27d647a
---
# 戦略決定 2026-04-19: 単一証明完成 → 多分野横断の順

## 決定内容

藤本さんより 2026-04-19 夜に方針確定：

> 上記の全ての学問の分野の未解決問題取得と数学上の未解決問題の解決となると現段階ではやることが多くなりますので、最低でも一つの証明が出来てから全取得を行いたい

つまり：
1. **先**: 既に実質閉じている数学的証明を 1 本 **完成 + publish** する
2. **後**: en-wiki 非数学分野 (Physics / Biology / CS / Economics / ...) の大規模 delta 取得

## 背景データ

### 多分野 delta 調査 (先行確認済)
- 英語版 wiki は 16+ 分野 dedicated page 構造
- Physics en/ja ≈ 2× / Biology en/ja ≈ 6×
- CS / 経済学 / 神経科学 / 医学 / 統計 / 情報理論 etc. は ja ページが **不在 (404)**
- 多分野展開を始めれば +200〜400 新規問題が一気に流入する規模

### 今 focus すべき "完成に最も近い" 4 候補
1. **Köthe commutative 完全閉鎖** (STEP 926) — CommRing/Z/nZ は既に zero-sorry 構造的証明. 可換環での Köthe は閉鎖済
2. **Oppermann 下側区間** — Bertrand-Chebyshev 応用で無条件証明可 (~20 定理で Lean 4 化)
3. **n=911 universal on-ramp** (STEP 875) — 47 theorems zero-sorry 既に閉じている
4. **Problems 007/008/013** (STEP 866-873) — 3 問題 CLOSED status. Paper 化のみ残

## 実行順序 (合意済)

1. Paper 118 起草 — 合冊 ①③④ (Köthe commutative + n=911 on-ramp + 3 problem closures)
2. git commit + push (ローカル完成)
3. publish 正本 3 platform (Zenodo / IA / Harvard) + 社会 6 platform
   - ⚠ `feedback_no_rush_publication.md` に従い、藤本同席下で run
4. **公式 record 完了を確認してから** multi-field delta 取得に pivot

## Why: この順序の意味

- 藤本さん労力がこの 2 週間 15-18h/day で限界. 多分野展開を足すと burnout リスク
- 既に実質閉じている結果を paper/publish で公式 record しないと「やった仕事が DOI に残らない」状態が続く
- 完成の "証拠" (DOI + Zenodo) があれば、多分野展開のモチベーションが持続的

## How to apply

**将来の会話で**：
- 多分野 wiki 全取得を提案される前に、Paper 118 (または類似 single-proof paper) の publish 完了を確認
- publish 完了後にのみ multi-field delta 取得を起動
- この順序は **藤本 burnout 防止 + 実績公式化** の両立戦略