Neural Networks

Solving (some) formal math olympiad problems

February 2, 20220 views1 min read

We built a neural theorem prover for Lean that learned to solve a variety of challenging high-school olympiad problems, including problems from the AMC12 and AIME competitions, as well as two problems adapted from the IMO.

Want to try AI?

Compare the best neural networks in one place — for free

Go to neural networks

Share:

Источник: OpenAI Blog

Related News

Neural Networks

OpenAI Releases GPT-5

OpenAI released GPT-5, a new AI model with improved capabilities in text generation, mathematics, and programming.

Neural Networks

Cursor capitalizes on GitHub frustration, launches rival hosting platform

Robin Williams’ Instagram account brought back to fight ‘AI abuse’

Neural Networks

Robin Williams’ Instagram account brought back to fight ‘AI abuse’