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