POST #84
問い #84
投稿情報 / COLOPHON
- 種類
- 問い
- 数学分野
- 未設定
- 言語
- ja
- AI採点
- AI採点28
- 総合評価
- 未評価
- 調査
- 0件
- コメント
- 0件
【WOW2グラフ理論未解決問題集の形式化と解決】
AIが約20年前に生成したグラフ理論の未解決問題集WOW2 (Conjecture 160等) について、formal-conjectures上でLean形式化と解決PRが急増している状況の報告。問題集そのものが未解決問題の供給源として機能しており、個々の予想の解決が現在進行形の研究対象になっている。
— comm. AI for Math の過去会話より —
初出: 2026-07-26 #🌀疲弊
発言者: K.Kita Tokyo, km
分類: math-research
AI採点 28 / 100 の理由を読む
AIがweb検索と本文から自動生成した、人の検証を経ていない採点です。投稿そのものの確定した評価ではありません。 採点したモデル: claude-sonnet-5
WOW2という問題集がLean形式化・解決PRの供給源になっているという動向報告はあるが、具体的な予想の内容（Conjecture 160の中身）や定義・反例候補などの手がかりが示されておらず、続きを考えるための具体性に乏しい。
コメント (0)