#alphageometry

[ follow ]
geometry
www.independent.co.uk
4 months ago
Artificial intelligence

Google makes breakthrough in one of the hardest tests for AI

Google Deepmind has created a new AI system, AlphaGeometry, that can solve geometry problems at the level of top high-school students.
The system was able to solve 25 out of 30 problems from the International Mathematical Olympiad, surpassing the previous best method. [ more ]
cacm.acm.org
4 months ago
Artificial intelligence

Google DeepMind's New AI Matches Gold Medal Performance in Math Olympics

Google DeepMind has developed an algorithm called AlphaGeometry that can solve difficult geometry problems from past International Mathematical Olympiads.
AlphaGeometry successfully solved 25 out of 30 geometry problems, beating previous state-of-the-art algorithms by 15 answers. [ more ]
www.scientificamerican.com
4 months ago
Artificial intelligence

AI Matches the Abilities of the Best Math Olympians

AI program AlphaGeometry can solve geometry problems from past IMOs with a success rate similar to gold medal-winning human participants.
AI programs have struggled with theorem-proving competitions due to a lack of access to data and difficulty in formalizing proofs. [ more ]
moregeometry
Theregister
3 months ago
Artificial intelligence

Energy breakthrough needed for AGI, says OpenAI's Altman

Sam Altman believes a breakthrough in energy production is necessary to advance AI models.
OpenAI's GPT-3 system consumed 936 MWh to train, equivalent to the energy used by 90 households in a year. [ more ]
TechCrunch
4 months ago
Artificial intelligence

DeepMind's latest AI can solve geometry problems | TechCrunch

DeepMind has developed AlphaGeometry, a system that can solve complex geometry problems.
DeepMind believes that solving geometry problems is crucial for developing advanced AI systems. [ more ]
Ars Technica
4 months ago
OMG science

DeepMind AI rivals the world's smartest high schoolers at geometry

Google's DeepMind has developed AlphaGeometry, which achieved a high level of performance on geometry problems.
AlphaGeometry combines a language model with a traditional symbolic deduction engine to overcome limitations in reasoning and explanation. [ more ]
[ Load more ]