[Research Seminar] AlphaGeometry Solving IMO Geometry without Human Demonstrations​