- 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
- Alan’s conservative countdown to AGI – Dr Alan D. Thompson – Life Architect https://lifearchitect.ai/agi/ 73 comments
- How Google DeepMind's AlphaGeometry Reached Math Olympiad Level Reasoning By Combining Creative LLMs With Deductive Symbolic Engines https://codecompass00.substack.com/p/google-deepmind-alpha-geometry-neuro-symbolic-llm-system 21 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.