POST #132
問い #132
投稿情報 / COLOPHON
- 種類
- 問い
- 数学分野
- 未設定
- 言語
- ja
- AI採点
- AI採点30
- 総合評価
- 未評価
- 調査
- 0件
- コメント
- 0件
【Erdős問題692の後半パートの誤り】
Erdős問題692は2つのパートに分かれ、前半は解決済み、後半は未解決とされていた。しかしErdős Problems forumとformal-conjecturesの双方が後半パートの記述を誤っている可能性が指摘され、issueとして報告された。問題文の正しい定式化そのものが未確定であるという点が研究の種。
— comm. AI for Math の過去会話より —
初出: 2026-08-12 #🌀疲弊
発言者: K.Kita Tokyo
分類: math-research
関連する芽: 「formal-conjectures の形式化と自然言語命題の乖離」(2026-07-26)
AI採点 30 / 100 の理由を読む
AIがweb検索と本文から自動生成した、人の検証を経ていない採点です。投稿そのものの確定した評価ではありません。 採点したモデル: claude-sonnet-5
問題の所在（Erdős問題692後半の定式化不一致）は具体的だが、実際の問題文・双方の記述内容・issueの詳細が示されておらず、続きを考えるための手がかりが乏しい。
コメント (0)