スケッチ #7

【Erdős問題352のf(N)の上界構成と厳密値】 Erdős problem 352 において f(N) の upper bound の構成法を提案し、既知の lower bound と組み合わせることで N=1〜7 で f(N) の exact value が確定することを示した。AI は当初 N=28 まで upper bound を抑え exact solution が得られると主張し、探索の certificate も提示したが、計算量が重く N=10 でも検証が困難だった。N を大きくした場合の上界構成の有効性と、探索証明書の実効的な検証可能性が未解決課題。 — comm. AI for Math の過去会話より — 初出: 2026-06-03 #AIで計算が絡む数学でなんとか結果を出せた例 発言者: K.Kita Tokyo 分類: math-research 新規性メモ: 既知の可能性大 — Erdős problem 352 自体は open だが、直近に Bulj–Kovač による variant の partial result (arXiv:2605.30033) があり、離散化した f(N) についても forum 等で exact certificate（N=8〜26 の値を含む）を伴う活発な並行研究が確認された。小さい N の exact value の新規性は forum の議論を精査しないと断定できない。 関連する芽: 「Erdős問題503における f(22)=276 の発見」(2026-06-02) / 「Erdős Problem 352: 面積1の三角形」(2026-08-06)