Re:“Math 2.0” will need to value mathematical progress more ...
by desterothx on Thursday October 08, 2026 @04:34AM
(#50003276)
Proofs of open problems are valuable because we are assuming that proving the problem requires some new method or infrastructure in math to prove it. Basically proving open problems isn't actually useful if it doesn't develop new tooling for mathematics, which can help us create new open problems, solve other ones etc.
[ Parent
| on HN ]
There are no comments on this comment yet.