“There’s a perception of mobster behavior” from leading AI companies, one mathematician tells WIRED as OpenAI prepares to release more than 100 new solutions to unsolved problems.
Unfortunately, just because a proof holds doesn’t mean the problem is solved. It just means that the proof proofs. The proof can still be utter nonsense if it isn’t structured properly and actually modeling the right thing. Moreover, even if it is a real proof, that doesn’t actually do anything for us until we understand it.
Looks like you have a misunderstanding of what a mathematical proof is. I have but a mere bachelor’s in applied mathematics and employed as a statistical engineer for a couple decades now. If a proof is successful at showing a mathematical statement is true, it’s a done deal. It doesn’t work like science which relies on mathematical models to explain its anecdotes.
Unfortunately, just because a proof holds doesn’t mean the problem is solved. It just means that the proof proofs. The proof can still be utter nonsense if it isn’t structured properly and actually modeling the right thing. Moreover, even if it is a real proof, that doesn’t actually do anything for us until we understand it.
Looks like you have a misunderstanding of what a mathematical proof is. I have but a mere bachelor’s in applied mathematics and employed as a statistical engineer for a couple decades now. If a proof is successful at showing a mathematical statement is true, it’s a done deal. It doesn’t work like science which relies on mathematical models to explain its anecdotes.