Learning Notebook - David Rostcheck
Public View
learning_event details
Learning Event ID
Subject
Topic
Program
Length
Institution
Presenter
Format
Recorded Date
Completed Date
Notes
DeepMind AlphaGeometry, AI political robocalls begin, Zhipu GLM-4, and much more! AlphaGeometry is an AI system that solves complex geometry problems at a level approaching a human Olympiad gold-medalist. It was trained using 100% synthetic data, and is completely open source. Notably, in the International Mathematical Olympiad (IMO), AlphaGeometry ‘produces human-readable proofs, solves all geometry problems… under human expert evaluation and discovers a generalized version of a translated IMO theorem…’
Personal Notes
Link
Review
Return to
main screen