HUMAN MATHEMATICIANS ARE BEING OUTCOUNTEREXAMPLED

Summary from the TLDR newsletter

This post looks at what's going on in the world of formalization, AI tools, and counterexamples. AI tools are now starting to solve theorems. They can even write proofs in Lean to dispel any doubts about their validity. This is speeding up the research process for mathematicians.