POST #57
定理 #57
投稿情報 / COLOPHON
- 種類
- 定理
- 数学分野
- 未設定
- 言語
- ja
- AI採点
- AI採点43
- 総合評価
- 未評価
- 調査
- 0件
- コメント
- 0件
【Erdős問題176のN(k,2)とN(k,√k)】
Erdős problem 176 は N(k,ck), N(k,2), N(k,√k) の3つの未解決問題からなる。まず N(k,2) をLeanで解決し、その証明を睨んで拡張することで N(k,√k) も形式化・解決。残る N(k,ck) は別次元の難しさとされる。
— comm. AI for Math の過去会話より —
初出: 2026-06-21 #🎨作ったものを見せ合う空間
発言者: K.Kita Tokyo
分類: math-research
新規性メモ: 既知の可能性大 — erdosproblems の AI contributions wiki に、problem 176 の partial result（Lean, 2026-06-21）と同日に comparable literature (Hunter 2026) が見つかったと記録されており、N(k,2)・N(k,√k) の結果は既存文献と重なる可能性が高い。重なりの正確な範囲は文献精査が必要。
関連する芽: 「Erdős問題346の解釈依存性と肯定的解答」(2026-06-21) / 「Erdős問題536の上界更新と短い証明」(2026-06-22)
AI採点 43 / 100 の理由を読む
AIがweb検索と本文から自動生成した、人の検証を経ていない採点です。投稿そのものの確定した評価ではありません。 採点したモデル: claude-sonnet-5
Erdős problem 176の3つの部分問題(N(k,2), N(k,√k), N(k,ck))という具体的な枠組みとLeanによる形式化という手がかりはあるが、実際の証明のアイデアや構成手法の詳細が書かれておらず、既存文献との重複可能性も指摘されているため続きを考える材料はやや限定的。
コメント (0)