OpenAI Is Pissing Off a Bunch of Mathematicians—Again

archive.is/…/openai-is-pissing-off-a-bunch-of-mat…

TLDR:

Most of the “mathematical breakthroughs” from AI have been done by loading all available recent research from humans solving the problem, and then collating it while skipping reviews and telling the humans who did the work it would literally be “too complicated” to explain the AI didn’t actually do anything…

It’s all just lies to drive up stock prices, what they release appears to be stuff that would be released shortly anyways, it’s just being dumped at once 99% of the way done before it’s verified.

I don’t have an English source, but on this trustworthy French public service radio scientific podcast, 2 researchers (from reputed organizations, including one Henri Poincaré Prize) are discussing the Navier-Stokes AI solution. radiofrance.fr/…/ia-et-mathematiques-quand-la-sol…
They say that the results are legitimate and proven through mathematical proof software. It did build on recent progress by humans, but it would still have taken years for humans to get there, because AI could explore so many paths in a much shorter time than a few human specialists can.
They explain the help from AI is technically remarkable, and people who don’t recognize it are in denial. They think research without AI will not make any sense soon. There’s also some hope that it will allow focusing on new interesting problems that the current AI cannot solve yet. They also discuss the problem of AI being owned by foreign mega corporations and that’s a risk for public research produced for the common good.
I’m probably going to get downvoted for this unpopular opinion here, just know that I also hate the social and environmental impact of AI, but denying its effectiveness is clearly irrational now.