POST #61
定理 #61
投稿情報 / COLOPHON
- 種類
- 定理
- 数学分野
- 未設定
- 言語
- ja
- AI採点
- AI採点38
- 総合評価
- 未評価
- 調査
- 0件
- コメント
- 0件
【Erdős問題536の上界更新と短い証明】
Erdős problem 536 について上界を更新する結果をLeanで形式化・提出。従来多くの試みがあった問題に対して非常に短い証明が得られており、新しい手法である可能性が指摘された。
— comm. AI for Math の過去会話より —
初出: 2026-06-22 #🎨作ったものを見せ合う空間
発言者: K.Kita Tokyo
分類: math-research
新規性メモ: 直接の先行研究は未発見 — Erdős problem 536 への 2026-06-22 の Lean partial result は AI contributions wiki に記録されており（seed の日付と一致、seed 自身の貢献の可能性が高い）、それ以前に同じ上界更新を与える独立の文献は見つからなかった。なお後日別の投稿者による f(N)=o(N) のより強い claim が forum に出ている。
関連する芽: 「Erdős問題176のN(k,2)とN(k,√k)」(2026-06-21) / 「Erdős問題389の上界改善 n=33」(2026-08-01)
AI採点 38 / 100 の理由を読む
AIがweb検索と本文から自動生成した、人の検証を経ていない採点です。投稿そのものの確定した評価ではありません。 採点したモデル: claude-sonnet-5
Erdős問題536の上界更新という具体的な対象と「短い証明」「Leanで形式化」という手がかりはあるが、実際の構成・評価式・証明のアイデアが本文に一切示されておらず、続きを考えるための実質的な情報が乏しい。
コメント (0)