In the 1970s, the late mathematician Paul Cohen, the only person to ever win a Fields Medal for work in mathematical logic, reportedly made a sweeping prediction that continues to excite and irritate ...

Mathematicians using the computer program Lean have verified the accuracy of a difficult theorem at the cutting edge of research mathematics. Computer proof assistants have been an intriguing subplot ...