| { |
| "total_problems": 15458, |
| "problems_by_difficulty": { |
| "L1: Tractable": 916, |
| "L2: Intermediate": 523, |
| "L3: Advanced": 12919, |
| "L4: Expert": 963, |
| "L5: Millennium Prize": 137 |
| }, |
| "problems_by_category": { |
| "Algebra": 927, |
| "Algebraic Geometry": 830, |
| "Analysis": 1143, |
| "Combinatorics": 744, |
| "Computer Science": 642, |
| "Dynamical Systems": 667, |
| "Geometry": 1967, |
| "Graph Theory": 1222, |
| "Group Theory": 848, |
| "Logic": 286, |
| "Mathematical Physics": 352, |
| "Miscellaneous": 1530, |
| "Number Theory": 1268, |
| "Partial Differential Equations": 270, |
| "Probability": 798, |
| "Set Theory": 77, |
| "Topology": 1887 |
| }, |
| "problems_by_status": { |
| "open": 8955, |
| "partially_solved": 5807, |
| "solved": 696 |
| }, |
| "problems_by_set": { |
| "aim_workshop_problem_lists": 3359, |
| "amr_open_problem_lists": 3342, |
| "darpa_challenges": 17, |
| "erdos_problems": 632, |
| "green_problems": 85, |
| "hilbert_problems": 11, |
| "kirby_low_dimensional_topology": 366, |
| "kourovka_new_problems_21": 150, |
| "landau_problems": 1, |
| "millennium_prize": 6, |
| "oberwolfach_reports_open_problems": 6673, |
| "opengarden": 422, |
| "smale_problems": 8 |
| }, |
| "amr_research": { |
| "reports_total": 3342, |
| "classifications": { |
| "PARTIAL-PROGRESS": 963, |
| "OPEN-TRIAGE": 2196, |
| "SOLVED-IN-LITERATURE": 181, |
| "SOLVED-BY-YOU": 2 |
| }, |
| "note": "Every AMR problem carries structured research notes in research_results.json (solution attempt, partial progress, or literature triage), produced by an AI research fleet and verified in a human-supervised audit (Aug 2026). Classifications: SOLVED-BY-YOU (original AI proof), SOLVED-IN-LITERATURE (resolution found and citation-verified), PARTIAL-PROGRESS, OPEN-TRIAGE (literature status triaged, problem open)." |
| }, |
| "aim_research": { |
| "reports_total": 3359, |
| "classifications": { |
| "PARTIAL-PROGRESS": 2664, |
| "SOLVED-IN-LITERATURE": 461, |
| "SOLVED-BY-YOU": 43, |
| "OPEN-TRIAGE": 191 |
| }, |
| "result_statuses": { |
| "partial_result": 2589, |
| "conditional_result": 45, |
| "reduction": 182, |
| "full_solution": 174, |
| "counterexample": 177, |
| "context_only": 150, |
| "invalid_statement": 41, |
| "heuristic": 1 |
| }, |
| "rigor": { |
| "proved": 3329, |
| "conditional": 29, |
| "heuristic": 1 |
| }, |
| "novelty_confidence": { |
| "low": 3348, |
| "medium": 11 |
| }, |
| "wording_corrected": { |
| "no": 3298, |
| "yes": 61 |
| }, |
| "statement_statuses": { |
| "exact": 2886, |
| "reconstructed_unverified": 385, |
| "corrected_verified": 61, |
| "unrecoverable": 27 |
| }, |
| "note": "Every canonical AIM problem carries an exact AIM-... identifier and an individual validated report in research_results.json. All 3,359 problems added in v1.4 are from AIM workshops and each received one solution attempt using GPT-5.6 Sol at xhigh reasoning effort. Reports embed the exact input, claim, standalone LaTeX solution, result metadata, and an explicit statement-recovery audit separating original and clean text. Machine-generated research and novelty assessments require independent expert verification." |
| }, |
| "literature_triage": { |
| "reports_total": 2084, |
| "scope": "All non-AMR and non-AIM problem records", |
| "literature_review_checked": "2026-08-17", |
| "statuses": { |
| "open": 670, |
| "partially_solved": 1215, |
| "solved": 199 |
| }, |
| "classifications": { |
| "OPEN-TRIAGE": 670, |
| "PARTIAL-PROGRESS": 1215, |
| "SOLVED-IN-LITERATURE": 199 |
| }, |
| "note": "Each dated literature review is appended to the problem background with source links. A refutation or counterexample is classified as solved, and uncertain literature status is classified as partially solved. These machine-generated triage labels supplement the legacy status field and require independent verification before citation." |
| }, |
| "version": "1.6.0", |
| "v1_6_owr": { |
| "problems_total": 6673, |
| "source_reports": 1106, |
| "statuses": { |
| "open": 4493, |
| "partially_solved": 2180 |
| }, |
| "checked_at": { |
| "2026-08-21": 4029, |
| "2026-08-22": 2644 |
| } |
| } |
| } |
|
|
