4 ms·
Number Theorist Fears All Published Math Is Wrong
- kilovoltaire 7y agoClickbaity title but I found the content interesting, concerning a growing push for more computer-verified proofs
- airbreather 7y agoMaybe it is really only a form of engineering, doesn't have to be perfectly right as long as it works.