Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura

In 2024, AlphaProof from Google Deepmind broke through in competition math achieving a silver-medal in Interational Mathematical Olympiad (IMO).