Command Palette
Search for a command to run...
UnsolvedMath-Datensatz Mit Ungelösten Mathematischen Problemen
UnsolvedMath ist ein Datensatz ungelöster mathematischer Probleme, veröffentlicht von ULAMAI. Die zugehörige wissenschaftliche Publikation lautet Unsolvable Math Problems als KI-Rasonier-Benchmark, und zielt darauf ab, der Forschung im Bereich des maschinellen Lernens für mathematische Schlussfolgerungen systematisch offene mathematische Problemdaten zur Verfügung zu stellen. Dies unterstützt Studien wie Fragen-Antwort-Systeme bei mathematischen Aufgaben, die Verarbeitung von LaTeX-Mathesymbolen, Klassifizierung und Organisation sowie die Generierung pädagogischer Inhalte.
Der Datensatz umfasst 8.785 ungelöste mathematische Probleme sowie historisch bedeutende historische Herausforderungen aus den Bereichen Zahlentheorie, Kombinatorik, Graphentheorie und Algebra – insgesamt 17 Fachgebiete mit fünf Schwierigkeitsgraden. Er integriert autoritative Sammlungen wie die Millennium-Probleme, Hilberts 23 Probleme und Erdős’ Probleme und bietet detaillierte Audits zum Forschungsstand sowie Aufzeichnungen zur Unterstützung durch künstliche Intelligenz.
Enthaltene Probleme:
Es gibt elf Themengebiete:
- Millennium Prize Problems: Millenniumsprobleme
- Hilbert’s 23 Problems: Hilberts 23 Probleme
- Smale’s 18 Problems for the 21st Century: Smales 18 Probleme für das 21. Jahrhundert
- DARPA’s 23 Mathematical Challenges: Darpa-Herausforderungen
- Ben Green’s 100 Open Problems: Bens hundert offene Probleme
- Erdős Problems: Erdős-Probleme
- Kourovka Notebook New Problems: Neue Probleme aus dem „Kourovka Heft“
- Kirby’s Problems in Low-Dimensional Topology: Kirbys Probleme in der niedrigdimensionalen Topologie
- OpenGarden / Open Problem Garden: Offener Garten / Offenes Problem-Gartenprojekt
- AMR Open Problem Lists: Offene Problemlisten vom American Mathematical Review
- AIM Workshop Problem Lists: Problemlisten aus Workshops am Institute for Advanced Mathematics
Zitation
@misc{unsolvedmath2026,
title={UnsolvedMath: A Curated Collection of Open Mathematics Problems},
author={UnsolvedMath Contributors},
year={2026},
howpublished={\url{https://huggingface.co/datasets/ulamai/UnsolvedMath}},
}
KI mit KI entwickeln
Von der Idee bis zum Launch – beschleunigen Sie Ihre KI-Entwicklung mit kostenlosem KI-Co-Coding, sofort einsatzbereiter Umgebung und bestem GPU-Preis.