alt Hacker NewsThis 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.
Replies
threatofrain • last Saturday at 1:54 PM
This also makes the assumption that frontier math has all the long hanging fruits already taken... also very dubious.
➕ show 1 reply
asdfologist • last Saturday at 2:10 PM
Unlike math, software is constrained by the physical world.
➕ show 1 reply
Or, 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.