OpenAI's GPT-3 Inspired Model can Solve Problems from the Math Olympiads

Originally published on Towards AI the World's Leading AI and Technology News and Media Company. If you are building an AI-related product or service, we invite you to consider becoming an AI sponsor. At Towards AI, we help scale AI and technology startups. Let us help you unleash your technology to the masses. Formal mathematics has long been considered one of the toughest challenges for deep learning.