AI achieves silver-medal standard solving International Mathematical Olympiad problems

Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics

Artificial general intelligence (AGI) with advanced mathematical reasoning has the potential to unlock new frontiers in science and technology.

We’ve made great progress building AI systems that help mathematicians discover new insights, novel algorithms and answers to open problems. But current AI systems still struggle with solving general math problems because of limitations in reasoning skills and training data.

Today, we present AlphaProof, a new reinforcement-learning based system for formal math reasoning, and AlphaGeometry 2, an improved version of our geometry-solving system. Together, these systems solved four out of six problems from this year’s International Mathematical Olympiad (IMO), achieving the same level as a silver medalist in the competition for the first time.


Comments

Post a Comment

Popular posts from this blog

  Google Pledges to Destroy Browsing Data to Settle ‘Incognito’ Lawsuit Google pledged to destroy data that reflects millions of users’ Web-browsing histories as part of a settlement of a lawsuit that accused the company of tracking people without their knowledge. The class action, filed in 2020, accused Google of misleading users about how Chrome tracked the activity of anyone who used the private “Incognito” browsing option. The settlement sets out the actions the company will take to change its practices around private browsing, including destroying billions of data points the lawsuit alleged it improperly collected. The Wall Street Journal; Erin Mulvaney; Miles Kruppa
Read more