Archives for Olympiad
OpenAI said that it had achieved a new state-of-the-art (41.2 per cent vs 29.3 per cent) on the miniF2F benchmark.
The theorem prover achieved 41.2% vs 29.3% on the miniF2F benchmark, a challenging collection of high-school olympiad problems.