Acm5 months agoArtificial intelligenceAI's Latest Challenge: The Math OlympicsAI model can solve geometry problems nearly as well as human gold medalists AlphaGeometry solved 25 out of 30 Olympiad geometry problems [ more ]
www.scientificamerican.com5 months agoArtificial intelligenceAI Matches the Abilities of the Best Math OlympiansAI 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 ]