- A neural network called OpenAI Codex, which was pre-trained on text and fine-tuned on code, can automatically solve 80% of university-level math problems from 6 MIT courses and 1 Columbia University course by synthesizing programs through few-shot learning.
- It does this by generating executable programs to solve problems and visualizing solutions. It can also explain solutions and generate new problems indistinguishable from human-written ones.
- This improves the previous state-of-the-art accuracy on a benchmark of advanced math problems from 8.8% to 81.1%, demonstrating that neural networks can now solve university-level math at a human level for the first time.