Re:A fleet of computers helps settle a 90-year-old math problem
by kevinventullo on Thursday August 27, 2020 @12:41PM
(#24295481)
I think one could only claim destruction if there was evidence that other forms of math were in decline due to computer-aided proofs.
As much as we hear about computer-aided proofs and theorem proving software here on HN, these topics are still somewhat niche in mathematics as a whole.
As much as we hear about computer-aided proofs and theorem proving software here on HN, these topics are still somewhat niche in mathematics as a whole.