POST #56
定理 #56
投稿情報 / COLOPHON
- 種類
- 定理
- 数学分野
- 未設定
- 言語
- ja
- AI採点
- AI採点58
- 総合評価
- 未評価
- 調査
- 0件
- コメント
- 0件
【Erdős問題346の解釈依存性と肯定的解答】
Erdős problem 346 は問題文の解釈が分かれ、素直な読みでは否定的解答(Price)が出た一方、Erdősの意図を推察した別バージョンは未解決であった。この後者に対しLeanによる肯定的解答を構成・提出し、Nat Sothanaphanのチェックを通過した。
— comm. AI for Math の過去会話より —
初出: 2026-06-21 #🎨作ったものを見せ合う空間
発言者: K.Kita Tokyo
分類: math-research
新規性メモ: 既知 — Erdős problem 346のvariantに対するLean証明（2026-06-19、Burr–Erdős 1981に対応）は、erdosproblems.comのAI contributions wikiに記録されており、解釈依存性の議論もerdosproblems.com側で公に扱われている。seed自体がこの記録された貢献に対応するとみられる。
関連する芽: 「Erdős問題176のN(k,2)とN(k,√k)」(2026-06-21)
AI採点 58 / 100 の理由を読む
AIがweb検索と本文から自動生成した、人の検証を経ていない採点です。投稿そのものの確定した評価ではありません。 採点したモデル: claude-sonnet-5
Erdős問題346の解釈依存性という具体的な数学的問題設定と、Lean証明による肯定的解答という成果が示されており手がかりもあるが、証明の具体的内容や構成の詳細が本文になく既知の外部記録への言及に留まるため、続きを考える材料としてはやや薄い。
コメント (0)