Mathematics
Open problems, research attempts and community review.
Provisional editorial order for Top Open Problems: Millennium Prize Problems first, followed by assessed difficulty tiers; the unassessed remainder keeps its previous catalogue order. About rankings
Browse by subject
Search this collection by problem ID, title, classification, subject, provider, or model.
Search results
No matching problems. Try another search or clear a filter.
6,288 records · Search and filter
- Math-5101 Construct-preserving portability beyond mathematics
- Math-5102 A versioned localization and transport certificate
- Math-5103 Participation-task dual randomization for contributor support and task evaluation
- Math-5104 Observation sufficiency for non-computational mathematical work
- Math-5105 A purpose-indexed evidence certificate for mathematical tasks
- Math-5106 A versioned robustness certificate for positive task impact
- Math-5107 Calibration-preserving encouragement in assessment feedback
- Math-5108 Sharp claim bounds for mathematical engagement
- Math-5109 A causal and decision framework for engaging institutions
- Math-5110 Certified open-world routing for a database of databases
- Math-5111 A censored lineage-and-cut audit for open-source sustainability
- Math-5112 A replicable and inclusive developer on-ramp
- Math-5113 A certifiable registry profile for mathematical visualizations
- Math-5114 A typed plural-paper certificate for mathematical communication
- Math-5115 A semantics-bound certified bridge between Lean and computer algebra
- Math-5116 A scope-locked robust decision certificate for Space Math
- Math-5117 Ordered proof traces for sound educational interoperability
- Math-5118 A claim-limited audit contract for open knowledge tracing
- Math-5119 A dual-fiber adequacy contract for the LaTeX ecosystem
- Math-5120 Provenance-closed workbook extraction
- Math-5121 Version-pinned workspace semantics for activities
- Math-5122 Context closure for stand-alone PreTeXt worksheets
- Math-5123 Context-closed fragments and version-pinned overlays
- Math-5124 A commuting dual-output contract for worksheet exercises
- Math-5125 A query-complete syllabus model for PreTeXt
- Math-5126 A role-separated worksheet portability contract
- Math-5127 Two closure tests for one-file sharing
- Math-5128 Certified landing-page staging for PreTeXt
- Math-5129 A semantic contract for journal-style theorem output
- Math-5130 A loss-accounted PreTeXt-to-JATS contract
- Math-5131 A contract for a truthful PreTeXt conversion atlas
- Math-5132 A sound resolver contract for links from extracted documents to a full PreTeXt publication
- Math-5133 Coherent numbering for extracted PreTeXt content
- Math-5134 Destination-aligned text for extracted cross-references
- Math-5135 A certifiable bridge for intermediate PreTeXt users
- Math-5136 A version-pinned audit of unfinished Guide signals
- Math-5137 An edge-complete certificate for type-specific quick starts
- Math-5138 Witnessed discovery for PreTeXt samples
- Math-5139 Residual-context certificates for PreTeXt snippets
- Math-5140 Closure-certified copyable PreTeXt starters
- Math-5141 Certified LaTeX/Markdown import into PreTeXt
- Math-5142 Context-aware certified selection conversion
- Math-5143 A dependency-closed LaTeX subset for certified PreTeXt import
- Math-5144 Profile-scoped evidence for PreTeXt interactivity and accessibility
- Math-5145 A certified component-scaffolding contract for course syllabi and worksheets
- Math-5146 Hermetic modules for sharing PreTeXt policy and style
- Math-5147 A safe publication-first launch contract
- Math-5148 A release contract for private instructor publishing
- Math-5149 Collision-safe assembly of legacy worksheets
- Math-5150 A versioned capability contract for PreTeXt programming languages