UnsolvedMath は ULAMAI によって公開されている未解決の数学問題データセットであり、関連論文は「Open Mathematical Problems as an AI Reasoning Benchmark」です。このプロジェクトは、AI の数学推論研究のために体系的なオープン数学問題コーパスを提供することを目的としており、数学的問題への質問応答、LaTeX による数学記号処理、問題分類と整理、教育コンテンツ生成などの研究をサポートします。

本データセットには、8,785 の未解決の数学問題および歴史的に重要な問題が含まれており、数論、組合せ論、グラフ理論、代数学など 17 の数学分野における 5 つの難易度レベルの問題を網羅しています。また、ミレニアム懸賞問題、ヒルベルトの 23 問、エルデシュ問題といった権威ある問題集を集約し、詳細な文献ステータスの監査記録や AI 研究支援用のメタデータを付加しています。

含まれる問題リスト：

11 の問題コレクション：

• Millennium Prize Problems：ミレニアム懸賞問題
• Hilbert’s 23 Problems：ヒルベルトの 23 問
• Smale’s 18 Problems for the 21st Century：スモールが提唱した 21 世紀に向けた 18 の課題
• DARPA’s 23 Mathematical Challenges：国防高等研究計画局（DARPA）の 23 の数学的挑戦
• Ben Green’s 100 Open Problems：ベン・グリーンによる 100 の未解決問題
• Erdős Problems：エルデシュ問題
• Kourovka Notebook New Problems：『コウロフカノート』の新規問題
• Kirby’s Problems in Low-Dimensional Topology：カービーによる低次元位相幾何学の問題
• OpenGarden / Open Problem Garden：OpenGarden / オープンプロブレムガーデン
• AMR Open Problem Lists：AMS Math Reviews が提供する未解決問題一覧
• AIM Workshop Problem Lists：AIM ワークショップでの提示された問題一覧

引用情報

@misc{unsolvedmath2026,
  title={UnsolvedMath: A Curated Collection of Open Mathematics Problems},
  author={UnsolvedMath Contributors},
  year={2026},
  howpublished={\url{https://huggingface.co/datasets/ulamai/UnsolvedMath}},
}