Abraham E LaBonte shared a link.

Will Computers Redefine the Roots of Math? | Quanta Magazine

When a legendary mathematician found a mistake in his own work, he embarked on a computer-aided quest to eliminate human error. To succeed, he has to rewrite

Submit a Comment

Your email address will not be published. Required fields are marked *