Professor Simon Donaldson, Wolf Prize laureate in mathematics 2020

[@oferst24]

Strange that he says that maybe in 50 years computers will be able to produce proofs that humans cannot. Such proofs exist already from the 1960's (the 4 color theorem), and since then there have been so many others (see e.g., the Pythagorean triples .theorem).

[@TopeshMitter]

Bro , Peter Scholze and Arithmetic Geometers Have Taken The Subject To such levels That it Is beyond The concept of Computers to Describe it .

[@kamden6289]

☀️ p͓̽r͓̽o͓̽m͓̽o͓̽s͓̽m͓̽