Machine-Assisted Proof
Terence Tao · Notices of the American Mathematical Society · 2024
In recent decades, several promising new ways to use computers to assist in mathematical research have emerged. Each of these types of tools has already found niche applications in different areas of mathematics, but what is particularly intriguing is the possibility of combining these tools together, with one tool counteracting the weaknesses of another.