I Know Why the Mathematicians Weep

In the last few months, OpenAI has stunned the mathematical community with the publication of hundreds of math findings. Many of these proofs, which span number theory, theoretical computer science, and logic, had stumped the world's best mathematicians for decades, or centuries.