AlphaProof and AlphaGeometry2: The new AI mathematician #ESCAT #Uninter AlphaProof solved about 83% of math Olympiad problems from the past 25 years.