posted in Technology
OpenAI Is Pissing Off a Bunch of Mathematicians—Again
www.wired.com/story/openai-is-pissing-off-a-bunch-of-mathematicians-again/
Replying to @Mustachius_Grumpius@thelemmy.club
If the proofs hold, then they hold.
Replying to @Grimy@lemmy.world
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.
Replying to @ImgurRefugee114@reddthat.com
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.