- Scientists at Google DeepMind have created artificial intelligence software able to solve difficult geometry proofs used to test high school students in the International Mathematical Olympiad. https://www.nature.com/articles/s41586-023-06747-5 15 comments science
Linking pages
- A.I.’s Latest Challenge: the Math Olympics - The New York Times https://www.nytimes.com/2024/01/17/science/ai-computers-mathematics-olympiad.html 138 comments
- DeepMind's latest AI can solve geometry problems | TechCrunch https://techcrunch.com/2024/01/17/deepminds-latest-ai-can-solve-geometry-problems/ 2 comments
- GitHub - elicit/machine-learning-list https://github.com/elicit/machine-learning-list 0 comments
Related searches:
Search whole site: site:www.nature.com
Search title: Solving olympiad geometry without human demonstrations | Nature
See how to search.