cross-posted from: https://piefed.world/c/tech/p/1301153/openai-s-new-astra-model-solves-10-long-standing-math-and-computer-science-problems
OpenAI's New Astra Model Solves 10 Long-Standing Math and Computer Science Problems
https://openai.com/index/ten-advances-in-mathematics/
3 Comments
scrubbles@poptalk.scrubbles.tech · 8 pts · 22d
Not solves. They have not used the term solved anywhere in there. They are ten possible answers they say.
Which means they have let AI run around and maybe come up with an answer, but they have no way of knowing if it's true, or at least don't want to say it is. Interesting.
The company is hemorrhaging money. This is marketing fluff to try and keep investors interested, and trying to buy some pr because they're offering some free tokens.
ranzispa@mander.xyz · 5 pts · 22d
Any mathematician here who reviewed the correctness and relevance of these proofs?
Diurnambule@jlai.lu · 1 pts · 22d
Mathematician juste have to ignore them and poof.