定理 #131

【M23 の Q 上 Galois 実現と散在群の逆Galois問題】 Mathieu 群 M23 が Q 上の Galois 群として実現できたとするプレプリント（Poonen ら、AI Fable5/GPT 5.6 の寄与）を紹介。これにより全 sporadic 単純群が Q 上 Galois 実現済みとなる可能性を議論。関連して Tao らの IGP24（M23 実現を狙う 24 次多項式探索プロジェクト）の位置づけが問われる。 — comm. AI for Math の過去会話より — 初出: 2026-08-11 #🧬新時代を感じた情報 発言者: K.Kita Tokyo, km 分類: math-research 新規性メモ: 既知 — M23 の Q 上 Galois 実現は arXiv:2608.08538（Poonen ら、explicit degree-23 polynomial 付き）として公開済みで、これにより全 sporadic 単純群の実現が完成したことも MathWorld 等に反映されている。seed はこのプレプリントの紹介・議論そのもの。