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.
Solving a problem has no value if no one understands the solution.
is there any evidence that it is harder to understand a proof than to make it in the first place? because I suspect that it is generally easier to understand the proof than to produce it.
Especially in math, both can happen easily. Other sciences sometimes as well.
Have you ever heard of Fermat’s last theorem?
Einstein’s relativity was/is an example in physics with a little less time but much more impact.