---
name: 古代ギリシャ 3 問の現代的末裔 (typology #152-154)
description: 円積/倍積/角三等分は solved (Wantzel 1837/Lindemann 1882) なので typology 非収録。系譜上の真の open problem 3 件を代わりに追加
type: project
originSessionId: ea0eb1f8-f659-4461-a674-df3f98cba941
---
2026-04-22 追加。古代ギリシャ三大作図問題 (円積問題/立方体倍積問題/角の三等分問題) は
Wantzel 1837 と Lindemann 1882 で不可能証明済なので **typology には含めない**。
代わりにその現代的末裔で真に open な 3 件を収録:

- **NT-EULER-GAMMA**: γ ≈ 0.5772 の有理性すら未確定 (もし γ=p/q なら q>10^242080)
- **NT-CATALAN-CONSTANT**: G = Σ (-1)^n/(2n+1)^2 の無理性未確定 (Dirichlet β(2) 同値)
- **NT-ODD-ZETA**: ζ(3) 以外の奇数 ζ は全て未確定 (Apéry 1978 以降 50 年停滞)

全て `I_INFINITE_SEARCH_SPACE` 主型 + `VI_BRIDGING` 副型, `weaker_system_suffices` (Π₁)。
系譜: 円積→Lindemann→π 超越性→Schanuel (既収録 #928) / γ / Catalan / odd ζ。

**Why:** 藤本さんの 2026-04-22 指示「古代 3 問から派生した真に未解決の問題を追加」。古代 3 問自体を `solved_negative` カテゴリで別枠収録する案は今回見送り (typology は「未解決」に限定)。

**How to apply:** radar / daily-cycle で Apéry-like 無理性攻撃, Zudilin 2001 型論文, LLL × continued-fraction attack 等を拾えるようにする。Pattern A 休眠なので新技法出現は稀 → alert 閾値低めで。