Solving olympiad geometry without human demonstrations
- Paper
- Jan 17, 2024
- #ArtificialIntelligence #MachineLearning
Proving mathematical theorems at the olympiad level represents a notable milestone in human-level automated reasoning1,2,3,4, owing to their reputed difficulty among the world’s bes...
Show More
Mentions
See All
Ethan Mollick @emollick
·
Jan 17, 2024
Three hints to the future of AI in this paper: 1) It is close to outperforming the top humans at geometry (superhuman performance is possible) 2) It combines a language model & other AI approaches (hints of the value of tools) 3) It trained on AI-generated data (big for training)