As an undergraduate at the University of Chile, Bernardo Subercaseaux took a dim view of using computers to do math. It seemed antithetical to real intellectual discovery. “There’s some instinct or ...

Episode: 2502 Computer assisted proofs: How machines extend our mind’s reach. Today, let’s ask how computers help us see mathematical truths.

It’s the largest math proof. A supercomputer solved it in just 2 days. And it’s 200 terabytes. Yes, 200 terabytes. That’s the size of the file containing the computer-assisted proof for a mathematical ...

Computer-assisted of mathematical proofs are not new. For example, computers were used to confirm the so-called 'four color theorem.' In a short release, 'Proof by computer,' the American Mathematical ...

It used to be that a mathematical proof meant absolute certainty. But today's proofs often are so long and complex that it's practically impossible for anyone to read one, let alone verify it. Thomas ...