12 citations · 12 across the 3 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.NT2024
Generalised Fermat equation: a survey of solved cases
Ashleigh Ratcliffe, Bogdan Grechuk
Generalised Fermat equation (GFE) is the equation of the form , where are positive integers. If , GFE is known to have at most finitely…
cs.AI2024
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Elliot Glazer, Ege Erdil, Tamay Besiroglu +21
We introduce FrontierMath, a benchmark of hundreds of original, exceptionally challenging mathematics problems crafted and vetted by expert mathematicians. The questions cover most…