{
  "name": "FrontierMath problem sets: scope and answer verification as described by Epoch AI",
  "description": "Compares the components of the FrontierMath family by what each contains and how a solution is accepted, compiled from Epoch AI's FrontierMath page and benchmark post as read on 2026-11-12.",
  "page": "https://casrai.org/guides/frontiermath",
  "publisher": "CASRAI",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "dateModified": "2026-11-12T13:25:58Z",
  "temporalCoverage": "2024/2026",
  "spatialCoverage": null,
  "columns": [
    {
      "name": "Component",
      "unit": "",
      "description": ""
    },
    {
      "name": "What it contains",
      "unit": "",
      "description": ""
    },
    {
      "name": "How a solution is accepted",
      "unit": "",
      "description": ""
    }
  ],
  "rows": [
    {
      "Component": "Tiers 1-3",
      "What it contains": "Unpublished problems from undergraduate level to exploratory problems suitable for an advanced graduate student",
      "How a solution is accepted": "Automated script check of an exact answer (integer or object such as a matrix or SymPy expression)"
    },
    {
      "Component": "Tier 4",
      "What it contains": "Research-level mathematics problems",
      "How a solution is accepted": "Not separately described on the pages read"
    },
    {
      "Component": "FrontierMath: Open Problems",
      "What it contains": "Significant open research problems",
      "How a solution is accepted": "Computationally verifiable solutions"
    },
    {
      "Component": "FrontierMath Erdos",
      "What it contains": "Problems posed or studied by Paul Erdos, open as of August 2026, formulated in Lean",
      "How a solution is accepted": "Complete Lean proof or disproof written by the AI system"
    }
  ],
  "sources": [
    {
      "title": "FrontierMath (Epoch AI)",
      "url": "https://epoch.ai/frontiermath",
      "accessed": "2026-11-12"
    },
    {
      "title": "FrontierMath: The Benchmark (Epoch AI)",
      "url": "https://epoch.ai/frontiermath/the-benchmark",
      "accessed": "2026-11-12"
    }
  ]
}