OpenAI's New Astra Model Solves 10 Long-Standing Math and Computer Science Problems

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.

Any mathematician here who reviewed the correctness and relevance of these proofs?

Mathematician juste have to ignore them and poof.