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.
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)