posted in Technology
OpenAI's New Astra Model Solves 10 Long-Standing Math and Computer Science Problems
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.com/index/ten-advances-in-mathematics/Replying to @beep@piefed.world
Any mathematician here who reviewed the correctness and relevance of these proofs?
Replying to @beep@piefed.world
Mathematician juste have to ignore them and poof.
Replying to @beep@piefed.world
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.