Every FrontierMath Tier 4 problem has now been solved by AI
Epoch AI says every problem in FrontierMath Tier 4, the hardest tier of its math benchmark, has now been solved by AI, with GPT-6 Astra solving the last one, a problem created by Jay Pantone. Epoch notes FrontierMath was developed with funding from OpenAI, which has exclusive access to a subset of it. On Epoch's newer FrontierMath Erdős set of 68 open problems, a pre-release version of Astra solved 2 in the official run.