The research community is in uproar after OpenAI released a trove of more than 700 mathematical preprints entirely generated by AI on 6 October. The San Francisco, California-based maker of ChatGPT posted the preprints on the software repository Github.
Although some mathematicians celebrated the solution of longstanding problems, others took to social media to complain about being scooped. Some were incensed at what one physicist called a ‘slopocalypse’, even if the mathematical content could end up being formally correct.
It is a lot of stuff from an unreliable source that basically vomits out stuff that looks correct but is often not and that is a ton of human work to verify that humans were already in the process of doing.
It is most likely just the stuff humans were close to finishing being scooped up and spit out and not reliably correct.
also the act of verifying is generally unpaid work. peer review was already having issues because people in the field don’t want to do it over their own research.
deleted by creator
A human still needs to verify the theorem statements at least.
deleted by creator
Maybe there should be: link to preprint stating that the Lean code doesn’t do what the papers claim (for Navier-Stokes)