3 ms·
This makes no sense. To believe this you have to think that the models are somehow being overfit explicitly on academic mathematics and it doesn’t carry over at
by woeirua 2mo ago
This makes no sense. To believe this you have to think that the models are somehow being overfit explicitly on academic mathematics and it doesn’t carry over at all to more practical software engineering. I wouldn’t make that bet.
- threatofrain 2mo agoThis also makes the assumption that frontier math has all the long hanging fruits already taken... also very dubious.
- Ar-Curunir 2mo agoSome of the problems solved here, at least in CS, have been open for decades, and have been worked on by very smart leading researchers in the field, including Turing Award winners. Like, these would be best-paper awards at many top CS conferences.
- asdfologist 2mo agoUnlike math, software is constrained by the physical world.
- cvak 2mo agoIn what sense?
- zahlman 2mo agoFor example, pi can be computed to arbitrarily many digits, but could only even in principle be accurately represented with physical objects to a precision that many humans could memorize easily. This is thanks to physical constraints such as "diameter of the observable universe" and "Planck length", at a minimum.
- Mithriil 2mo agoEven if pi is an approximation, it is still representable mathematically. Floating-point arithmetic is an algebra (in this case, a magma [1]), which can be studied mathematically. [1] https://en.wikipedia.org/wiki/Magma_(algebra) https://en.wikipedia.org/wiki/Magma_(algebra)
- jvanderbot 2mo agoOr, that the mathematical formalisms that model the limits of software performance are firm enough that barring P==NP, nothing much will change despite proofs of beautiful math.