FrontierMath is a test bed to benchmark various artificial intelligence systems in their attempts to solve 14 bespoke heretofore unexamined mathematical problems (none of which are on the scale of the Millennium Problems). It was established by the non-profit research organization Epoch AI in November 2024. The first such open problem—of the "moderately interesting" rank—to be solved was in hypergraph theory: "A Constant-Factor Lower Bound For H (n)" by GPT-5.4.
See also Longest proof Jacobian conjecture Millennium problems
References