News
While today's AI models don't tend to struggle with other mathematical benchmarks such as GSM-8k and MATH, according to Epoch AI, "they solve less than 2% of FrontierMath problems, revealing a ...
Google claims math breakthrough with proof-solving AI models AlphaProof and AlphaGeometry 2 solve problems, with caveats on time and human assistance.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback