{ "schema_version": 1, "series_id": "fixed-mathematics-problem-cohorts", "cohort_id": "erdos-problems-1-100", "freeze_date": "2026-08-19", "source_repository": "https://github.com/teorth/erdosproblems", "source_commit": "881735e82124ab8ad7adea9b7d0aeb3c026dcb95", "source_url": "https://raw.githubusercontent.com/teorth/erdosproblems/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "source_file_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "source_sha256": "69719796f01fbe3a33913d14d1307502fa4361a307fa8e4674d20163a745eb0c", "retrieved_at": "2026-08-19", "license": { "name": "Apache License 2.0", "url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/LICENSE", "attribution": "Source data derived from the teorth/erdosproblems community database." }, "selection_rule": "All and only integer-numbered Erdős Problems 1 through 100 at the frozen source commit.", "status_policy": { "primary_status": "Human-reviewed informal_status.state", "at_risk_states": [ "decidable", "falsifiable", "open", "verifiable" ], "resolved_before_freeze_states": [ "disproved", "independent", "not disprovable", "not provable", "proved", "solved" ], "catalogue_date_rule": "informal_status.last_update is catalogue metadata and is not a solution or verification date.", "prospective_event_rule": "After the freeze, count a resolution only after a named primary or verification source establishes the resolution date and the required checking level.", "formalization_rule": "Formal-solution and statement-formalization fields are quality dimensions and do not silently replace the human-reviewed informal status." }, "problems": [ { "number": 1, "problem_url": "https://www.erdosproblems.com/1", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$500", "has_prize": true, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A276661" ], "tags": [ "additive combinatorics", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 2, "problem_url": "https://www.erdosproblems.com/2", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$1000", "has_prize": true, "informal_state": "disproved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "disproved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A160559" ], "tags": [ "covering systems", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 3, "problem_url": "https://www.erdosproblems.com/3", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$5000", "has_prize": true, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A003002", "A003003", "A003004", "A003005" ], "tags": [ "additive combinatorics", "arithmetic progressions", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 4, "problem_url": "https://www.erdosproblems.com/4", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$10000", "has_prize": true, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A002386" ], "tags": [ "number theory", "primes" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 5, "problem_url": "https://www.erdosproblems.com/5", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-08-09", "oeis": [ "A001223" ], "tags": [ "number theory", "primes" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 6, "problem_url": "https://www.erdosproblems.com/6", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$100", "has_prize": true, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-09-18", "oeis": [ "A335277" ], "tags": [ "number theory", "primes" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 7, "problem_url": "https://www.erdosproblems.com/7", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "verifiable", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "verifiable", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-04-20", "oeis": [ "N/A" ], "tags": [ "covering systems", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 8, "problem_url": "https://www.erdosproblems.com/8", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "disproved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "disproved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "covering systems", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 9, "problem_url": "https://www.erdosproblems.com/9", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A006286" ], "tags": [ "additive basis", "number theory", "primes" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 10, "problem_url": "https://www.erdosproblems.com/10", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A387053" ], "tags": [ "additive basis", "number theory", "primes" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 11, "problem_url": "https://www.erdosproblems.com/11", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2026-03-14", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2026-03-14", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A001220", "A377587" ], "tags": [ "additive basis", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 12, "problem_url": "https://www.erdosproblems.com/12", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 13, "problem_url": "https://www.erdosproblems.com/13", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$100", "has_prize": true, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-02-02", "oeis": [ "A002264" ], "tags": [ "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 14, "problem_url": "https://www.erdosproblems.com/14", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-11-02", "oeis": [ "A143824", "possible" ], "tags": [ "additive combinatorics", "number theory", "sidon sets" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 15, "problem_url": "https://www.erdosproblems.com/15", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-04-17", "oeis": [ "N/A" ], "tags": [ "number theory", "primes" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 16, "problem_url": "https://www.erdosproblems.com/16", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "disproved", "informal_note": null, "catalogue_last_update": "2026-02-24", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "Lean", "formal_solution_last_update": "2026-02-24", "formal_solution_url": null, "derived_status": "disproved (Lean)", "derived_status_last_update": "2026-02-24", "statement_formalized": true, "statement_formalized_last_update": "2026-05-26", "oeis": [ "A006285" ], "tags": [ "additive basis", "number theory", "primes" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 17, "problem_url": "https://www.erdosproblems.com/17", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A038133" ], "tags": [ "number theory", "primes" ], "comments": "cluster primes", "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 18, "problem_url": "https://www.erdosproblems.com/18", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-03-15", "oeis": [ "A005153" ], "tags": [ "divisors", "factorials", "number theory" ], "comments": "practical numbers", "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 19, "problem_url": "https://www.erdosproblems.com/19", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$500", "has_prize": true, "informal_state": "decidable", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "decidable", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "chromatic number", "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 20, "problem_url": "https://www.erdosproblems.com/20", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$1000", "has_prize": true, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A332077" ], "tags": [ "combinatorics" ], "comments": "sunflower conjecture", "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 21, "problem_url": "https://www.erdosproblems.com/21", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$500", "has_prize": true, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A391599" ], "tags": [ "combinatorics", "intersecting family" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 22, "problem_url": "https://www.erdosproblems.com/22", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-06-20", "oeis": [ "possible" ], "tags": [ "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 23, "problem_url": "https://www.erdosproblems.com/23", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "falsifiable", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "falsifiable", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-02-17", "oeis": [ "A389646" ], "tags": [ "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 24, "problem_url": "https://www.erdosproblems.com/24", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2026-04-23", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "Lean", "formal_solution_last_update": "2026-04-23", "formal_solution_url": null, "derived_status": "proved (Lean)", "derived_status_last_update": "2026-04-23", "statement_formalized": true, "statement_formalized_last_update": "2026-08-03", "oeis": [ "possible" ], "tags": [ "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 25, "problem_url": "https://www.erdosproblems.com/25", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-12-28", "oeis": [ "N/A" ], "tags": [ "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 26, "problem_url": "https://www.erdosproblems.com/26", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "disproved", "informal_note": null, "catalogue_last_update": "2025-12-28", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "Lean", "formal_solution_last_update": "2025-12-28", "formal_solution_url": null, "derived_status": "disproved (Lean)", "derived_status_last_update": "2025-12-28", "statement_formalized": true, "statement_formalized_last_update": "2025-11-25", "oeis": [ "N/A" ], "tags": [ "divisors", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 27, "problem_url": "https://www.erdosproblems.com/27", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$100", "has_prize": true, "informal_state": "disproved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "disproved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "covering systems", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 28, "problem_url": "https://www.erdosproblems.com/28", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$500", "has_prize": true, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "additive basis", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 29, "problem_url": "https://www.erdosproblems.com/29", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$100", "has_prize": true, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "additive basis", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 30, "problem_url": "https://www.erdosproblems.com/30", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$1000", "has_prize": true, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A003022", "A143824", "A227590" ], "tags": [ "additive combinatorics", "number theory", "sidon sets" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 31, "problem_url": "https://www.erdosproblems.com/31", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-11-24", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "Lean", "formal_solution_last_update": "2025-11-24", "formal_solution_url": null, "derived_status": "proved (Lean)", "derived_status_last_update": "2025-11-24", "statement_formalized": true, "statement_formalized_last_update": "2026-07-06", "oeis": [ "N/A" ], "tags": [ "additive basis", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 32, "problem_url": "https://www.erdosproblems.com/32", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-02-13", "oeis": [ "N/A" ], "tags": [ "additive basis", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 33, "problem_url": "https://www.erdosproblems.com/33", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-09-04", "oeis": [ "N/A" ], "tags": [ "additive basis", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 34, "problem_url": "https://www.erdosproblems.com/34", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "disproved", "informal_note": null, "catalogue_last_update": "2026-02-05", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "Lean", "formal_solution_last_update": "2026-02-05", "formal_solution_url": null, "derived_status": "disproved (Lean)", "derived_status_last_update": "2026-02-05", "statement_formalized": true, "statement_formalized_last_update": "2026-07-06", "oeis": [ "A234813", "A389241", "A390187" ], "tags": [ "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 35, "problem_url": "https://www.erdosproblems.com/35", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "additive basis", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 36, "problem_url": "https://www.erdosproblems.com/36", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A393584", "possible" ], "tags": [ "additive combinatorics", "number theory" ], "comments": "minimum overlap problem", "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 37, "problem_url": "https://www.erdosproblems.com/37", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "disproved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "disproved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "additive combinatorics", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 38, "problem_url": "https://www.erdosproblems.com/38", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2026-05-01", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "Lean", "formal_solution_last_update": "2026-05-01", "formal_solution_url": null, "derived_status": "proved (Lean)", "derived_status_last_update": "2026-05-01", "statement_formalized": true, "statement_formalized_last_update": "2025-12-20", "oeis": [ "N/A" ], "tags": [ "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 39, "problem_url": "https://www.erdosproblems.com/39", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$500", "has_prize": true, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "additive combinatorics", "number theory", "sidon sets" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 40, "problem_url": "https://www.erdosproblems.com/40", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$500", "has_prize": true, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "additive basis", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 41, "problem_url": "https://www.erdosproblems.com/41", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$500", "has_prize": true, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "additive combinatorics", "number theory", "sidon sets" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 42, "problem_url": "https://www.erdosproblems.com/42", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "solved", "informal_note": null, "catalogue_last_update": "2026-05-10", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "Lean", "formal_solution_last_update": "2026-05-10", "formal_solution_url": null, "derived_status": "solved (Lean)", "derived_status_last_update": "2026-05-10", "statement_formalized": true, "statement_formalized_last_update": "2025-10-20", "oeis": [ "N/A" ], "tags": [ "additive combinatorics", "number theory", "sidon sets" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 43, "problem_url": "https://www.erdosproblems.com/43", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$100", "has_prize": true, "informal_state": "disproved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "disproved", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-05-21", "oeis": [ "A003022", "A143824", "A227590", "possible" ], "tags": [ "additive combinatorics", "number theory", "sidon sets" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 44, "problem_url": "https://www.erdosproblems.com/44", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "additive combinatorics", "number theory", "sidon sets" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 45, "problem_url": "https://www.erdosproblems.com/45", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2026-05-06", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "Lean", "formal_solution_last_update": "2026-05-06", "formal_solution_url": null, "derived_status": "proved (Lean)", "derived_status_last_update": "2026-05-06", "statement_formalized": true, "statement_formalized_last_update": "2026-08-03", "oeis": [ "possible" ], "tags": [ "number theory", "ramsey theory", "unit fractions" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 46, "problem_url": "https://www.erdosproblems.com/46", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-12-29", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "Lean", "formal_solution_last_update": "2025-12-29", "formal_solution_url": null, "derived_status": "proved (Lean)", "derived_status_last_update": "2025-12-29", "statement_formalized": true, "statement_formalized_last_update": "2026-08-03", "oeis": [ "N/A" ], "tags": [ "number theory", "ramsey theory", "unit fractions" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 47, "problem_url": "https://www.erdosproblems.com/47", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$100", "has_prize": true, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-11-28", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "Lean", "formal_solution_last_update": "2025-11-28", "formal_solution_url": null, "derived_status": "proved (Lean)", "derived_status_last_update": "2025-11-28", "statement_formalized": true, "statement_formalized_last_update": "2026-07-06", "oeis": [ "N/A" ], "tags": [ "number theory", "unit fractions" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 48, "problem_url": "https://www.erdosproblems.com/48", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 49, "problem_url": "https://www.erdosproblems.com/49", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A365339", "A365474" ], "tags": [ "number theory", "primes" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 50, "problem_url": "https://www.erdosproblems.com/50", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$250", "has_prize": true, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-03-19", "oeis": [ "N/A" ], "tags": [ "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 51, "problem_url": "https://www.erdosproblems.com/51", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-09-25", "oeis": [ "A002202", "A014197" ], "tags": [ "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 52, "problem_url": "https://www.erdosproblems.com/52", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$250", "has_prize": true, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2026-05-28", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2026-05-28", "statement_formalized": true, "statement_formalized_last_update": "2026-04-17", "oeis": [ "A263996" ], "tags": [ "additive combinatorics", "number theory" ], "comments": "sum-product problem", "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 53, "problem_url": "https://www.erdosproblems.com/53", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "possible" ], "tags": [ "additive combinatorics", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 54, "problem_url": "https://www.erdosproblems.com/54", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$100", "has_prize": true, "informal_state": "solved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "solved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "number theory", "ramsey theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 55, "problem_url": "https://www.erdosproblems.com/55", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$250", "has_prize": true, "informal_state": "solved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "solved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "number theory", "ramsey theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 56, "problem_url": "https://www.erdosproblems.com/56", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$10", "has_prize": true, "informal_state": "disproved", "informal_note": null, "catalogue_last_update": "2025-11-26", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "Lean", "formal_solution_last_update": "2025-11-26", "formal_solution_url": null, "derived_status": "disproved (Lean)", "derived_status_last_update": "2025-11-26", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "intersecting family", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 57, "problem_url": "https://www.erdosproblems.com/57", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "chromatic number", "cycles", "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 58, "problem_url": "https://www.erdosproblems.com/58", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "chromatic number", "cycles", "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 59, "problem_url": "https://www.erdosproblems.com/59", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "disproved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "disproved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "graph theory", "turan number" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 60, "problem_url": "https://www.erdosproblems.com/60", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-08-03", "oeis": [ "A006855" ], "tags": [ "cycles", "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 61, "problem_url": "https://www.erdosproblems.com/61", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-09-30", "oeis": [ "N/A" ], "tags": [ "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 62, "problem_url": "https://www.erdosproblems.com/62", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 63, "problem_url": "https://www.erdosproblems.com/63", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "chromatic number", "cycles", "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 64, "problem_url": "https://www.erdosproblems.com/64", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$1000", "has_prize": true, "informal_state": "falsifiable", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "falsifiable", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "cycles", "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 65, "problem_url": "https://www.erdosproblems.com/65", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "cycles", "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 66, "problem_url": "https://www.erdosproblems.com/66", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$500", "has_prize": true, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "additive basis", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 67, "problem_url": "https://www.erdosproblems.com/67", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$500", "has_prize": true, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-11-04", "oeis": [ "A181740", "A237695" ], "tags": [ "discrepancy" ], "comments": "Erdős discrepancy problem", "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 68, "problem_url": "https://www.erdosproblems.com/68", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A331373" ], "tags": [ "irrationality", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 69, "problem_url": "https://www.erdosproblems.com/69", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-12-02", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-12-02", "statement_formalized": true, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A262153" ], "tags": [ "irrationality", "number theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 70, "problem_url": "https://www.erdosproblems.com/70", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-06-08", "oeis": [ "N/A" ], "tags": [ "graph theory", "ramsey theory", "set theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 71, "problem_url": "https://www.erdosproblems.com/71", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2026-06-07", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "Lean", "formal_solution_last_update": "2026-06-07", "formal_solution_url": null, "derived_status": "proved (Lean)", "derived_status_last_update": "2026-06-07", "statement_formalized": true, "statement_formalized_last_update": "2026-07-22", "oeis": [ "N/A" ], "tags": [ "cycles", "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 72, "problem_url": "https://www.erdosproblems.com/72", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$100", "has_prize": true, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "cycles", "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 73, "problem_url": "https://www.erdosproblems.com/73", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 74, "problem_url": "https://www.erdosproblems.com/74", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$500", "has_prize": true, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-09-25", "oeis": [ "N/A" ], "tags": [ "chromatic number", "cycles", "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 75, "problem_url": "https://www.erdosproblems.com/75", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-04-04", "oeis": [ "N/A" ], "tags": [ "chromatic number", "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 76, "problem_url": "https://www.erdosproblems.com/76", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A060407" ], "tags": [ "graph theory", "ramsey theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 77, "problem_url": "https://www.erdosproblems.com/77", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$250", "has_prize": true, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A059442" ], "tags": [ "graph theory", "ramsey theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 78, "problem_url": "https://www.erdosproblems.com/78", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$100", "has_prize": true, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A059442" ], "tags": [ "graph theory", "ramsey theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 79, "problem_url": "https://www.erdosproblems.com/79", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "graph theory", "ramsey theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 80, "problem_url": "https://www.erdosproblems.com/80", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-08-10", "oeis": [ "N/A" ], "tags": [ "graph theory", "ramsey theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 81, "problem_url": "https://www.erdosproblems.com/81", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "possible" ], "tags": [ "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 82, "problem_url": "https://www.erdosproblems.com/82", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-01-17", "oeis": [ "A120414", "A390256", "A390257", "A390919", "A392636", "A394400", "A394462", "A394539", "A394563", "A394564", "A394573", "A394574", "A394930", "A394933" ], "tags": [ "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 83, "problem_url": "https://www.erdosproblems.com/83", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$500", "has_prize": true, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A071799", "A387635" ], "tags": [ "combinatorics" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 84, "problem_url": "https://www.erdosproblems.com/84", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "possible" ], "tags": [ "cycles", "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 85, "problem_url": "https://www.erdosproblems.com/85", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2026-03-14", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2026-03-14", "statement_formalized": true, "statement_formalized_last_update": "2025-11-21", "oeis": [ "A006672", "possible" ], "tags": [ "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 86, "problem_url": "https://www.erdosproblems.com/86", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$100", "has_prize": true, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A245762" ], "tags": [ "graph theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 87, "problem_url": "https://www.erdosproblems.com/87", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "A059442", "possible" ], "tags": [ "graph theory", "ramsey theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 88, "problem_url": "https://www.erdosproblems.com/88", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$100", "has_prize": true, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "N/A" ], "tags": [ "graph theory", "ramsey theory" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 89, "problem_url": "https://www.erdosproblems.com/89", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$500", "has_prize": true, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-10-24", "oeis": [ "A131628", "A186704" ], "tags": [ "distances", "geometry" ], "comments": "Erdős distance problem", "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 90, "problem_url": "https://www.erdosproblems.com/90", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$500", "has_prize": true, "informal_state": "disproved", "informal_note": null, "catalogue_last_update": "2026-06-07", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "Lean", "formal_solution_last_update": "2026-06-07", "formal_solution_url": null, "derived_status": "disproved (Lean)", "derived_status_last_update": "2026-06-07", "statement_formalized": true, "statement_formalized_last_update": "2025-09-25", "oeis": [ "A186705" ], "tags": [ "distances", "geometry" ], "comments": "unit distance problem", "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 91, "problem_url": "https://www.erdosproblems.com/91", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-04-16", "oeis": [ "A186704", "possible" ], "tags": [ "distances", "geometry" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 92, "problem_url": "https://www.erdosproblems.com/92", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$500", "has_prize": true, "informal_state": "disproved", "informal_note": null, "catalogue_last_update": "2026-05-21", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "disproved", "derived_status_last_update": "2026-05-21", "statement_formalized": true, "statement_formalized_last_update": "2025-09-25", "oeis": [ "possible" ], "tags": [ "distances", "geometry" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 93, "problem_url": "https://www.erdosproblems.com/93", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-02-17", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "Lean", "formal_solution_last_update": "2025-02-17", "formal_solution_url": null, "derived_status": "proved (Lean)", "derived_status_last_update": "2025-02-17", "statement_formalized": true, "statement_formalized_last_update": "2026-08-03", "oeis": [ "N/A" ], "tags": [ "convex", "distances", "geometry" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 94, "problem_url": "https://www.erdosproblems.com/94", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "£25", "has_prize": true, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2026-01-15", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "Lean", "formal_solution_last_update": "2026-01-15", "formal_solution_url": null, "derived_status": "proved (Lean)", "derived_status_last_update": "2026-01-15", "statement_formalized": true, "statement_formalized_last_update": "2026-08-03", "oeis": [ "A387858" ], "tags": [ "convex", "distances", "geometry" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 95, "problem_url": "https://www.erdosproblems.com/95", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$500", "has_prize": true, "informal_state": "proved", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "resolved_before_freeze", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "proved", "derived_status_last_update": "2025-08-31", "statement_formalized": false, "statement_formalized_last_update": "2025-08-31", "oeis": [ "possible" ], "tags": [ "convex", "distances", "geometry" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 96, "problem_url": "https://www.erdosproblems.com/96", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-05-21", "oeis": [ "possible" ], "tags": [ "convex", "distances", "geometry" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 97, "problem_url": "https://www.erdosproblems.com/97", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$100", "has_prize": true, "informal_state": "falsifiable", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "falsifiable", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2025-11-11", "oeis": [ "N/A" ], "tags": [ "convex", "distances", "geometry" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 98, "problem_url": "https://www.erdosproblems.com/98", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-05-23", "oeis": [ "possible" ], "tags": [ "distances", "geometry" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 99, "problem_url": "https://www.erdosproblems.com/99", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "$100", "has_prize": true, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-01-15", "oeis": [ "N/A" ], "tags": [ "distances", "geometry" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null }, { "number": 100, "problem_url": "https://www.erdosproblems.com/100", "source_record_url": "https://github.com/teorth/erdosproblems/blob/881735e82124ab8ad7adea9b7d0aeb3c026dcb95/data/problems.yaml", "prize": "no", "has_prize": false, "informal_state": "open", "informal_note": null, "catalogue_last_update": "2025-08-31", "baseline_bucket": "at_risk", "formal_solution_state": "unformalized", "formal_solution_last_update": null, "formal_solution_url": null, "derived_status": "open", "derived_status_last_update": "2025-08-31", "statement_formalized": true, "statement_formalized_last_update": "2026-01-25", "oeis": [ "N/A" ], "tags": [ "distances", "geometry" ], "comments": null, "ai_attribution": "not_audited_baseline", "verified_resolution_date": null, "verification_source": null } ] }