I know why the mathematicians weep

What mathematicians should know about the Lean Theorem Prover: reliability & AI

‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop

OpenAI Is Pissing Off a Bunch of Mathematicians—Again