---
name: Paper 120 publish 完了 (2026-04-20 昼)
description: Paper 120 を 11 platform に publish. Zenodo DOI 10.5281/zenodo.19655974. 119→120 パラレル, 累計 120 本.
type: project
originSessionId: 79081859-fd56-4821-a0d2-932be27d647a
---
# Paper 120 Publish 完了 (2026-04-20 昼)

## DOI & URLs

**Zenodo**: https://doi.org/10.5281/zenodo.19655974

| Platform | URL |
|---|---|
| Zenodo | 10.5281/zenodo.19655974 ✅ (canonical DOI) |
| Internet Archive | rei-aios-paper-120-1776638968490 ✅ |
| Harvard Dataverse | 10.7910/DVN/KC56RY ✅ |
| dev.to | fc0web/...paper-31jh ✅ |
| Hatena | fcwebfujimoto.hatenablog.com/entry/2026/04/20/075008 ✅ |
| HackMD | hackmd.io/B12XnRGpWg ✅ |
| livedoor | fcwebfujimoto.livedoor.blog/archives/12861752.html ✅ |
| Scrapbox | rei-aios/Paper 120:... ✅ |
| Notion | Paper-120-...-347dd371e6d981fa8fc4f1ec683febee ✅ |
| Nostr (NIP-23) | 3/5 relays ✅ |
| mathstodon | @Fujimoto/116433818081606756 ✅ |

= **11 platforms 全成功** (Research Square は Paper 119 審査待ち、Paper 120 は未投稿)

## Paper 120 特筆事項

- **94 new Lean 4 zero-sorry theorems** across 6 files
- **★ Gilbreath universal attractor {0,1,2} at k≥50** (実証 + Lean 4)
- **★ Q33: Gilbreath-Collatz Structural Isomorphism Theorem** hypothesis — meta-theorem 候補
- **Legendre witness(24)=577 ↔ Collatz peak 9232 = 2⁴·577** 予期しない cross-connection
- ABC effective c^7 ≤ rad^11 verified c ≤ 100
- 4+7 要素構造完全適用 (G, K skip / 他全 Part 充実)

## 累計 (2026-04-20 昼時点)

- **論文 120 本**
- Lean 4 theorem ~31,100+
- Q-ID 連番 **Q1 → Q33**
- 11 platform 投稿体制完成 (Research Square は進行中で 12 platform 体制確立)

## commits

- Paper 120 draft: `3d89575`
- Paper 120 publish: `(今回 push)`

## 次候補

1. **他未解決問題深堀継続** (Agoh-Giuga / Frankl / k-Lehmer / 他)
2. **Q33 Gilbreath-Collatz Isomorphism 形式化** — Paper 120 の中核仮説を Lean 4 化
3. **Research Square Paper 120 投稿** (Paper 119 と並行)
4. **休憩**