this post was submitted on 08 Oct 2026
133 points (96.5% liked)

Technology

88677 readers
3753 users here now

This is a most excellent place for technology news and articles.


Our Rules


  1. Follow the lemmy.world rules.
  2. Only tech related news or articles.
  3. Be excellent to each other!
  4. Mod approved content bots can post up to 10 articles per day.
  5. Threads asking for personal tech support may be deleted.
  6. Politics threads may be removed.
  7. No memes allowed as posts, OK to post as comments.
  8. Only approved bots from the list below, this includes using AI responses and summaries. To ask if your bot can be added please contact a mod.
  9. Check for duplicates before posting, duplicates may be removed
  10. Accounts 7 days and younger will have their posts automatically removed.

Approved Bots


founded 3 years ago
MODERATORS
 

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.

you are viewing a single comment's thread
view the rest of the comments
[–] yeahiknow3@lemmy.world 0 points 1 day ago* (last edited 1 day ago) (1 children)

Solving math proofs with AI is like doing art with AI. Pointless. In fact, it is detrimental to the discipline as a whole, because doing so means people will stop sharing work and insights with each other, which has never been the case before (at least it’s not the norm).

As discussed on MathandAI.org and elsewhere, top mathematicians “disseminate ideas in talks, private discussions and careful writeups, connecting them to the previous ideas of others. These processes invariably take time and are based on human interaction.”

AI is undermining this process, as people naturally become less willing to discuss ideas that can easily be stolen.

[–] givesomefucks@lemmy.world 0 points 1 day ago (1 children)

I don't know what you're trying to say, and I feel like you don't either.

This means people will stop sharing work and insights with each other, which has never before been the case.

That part was clearly, but obviously false on multiple levels

[–] yeahiknow3@lemmy.world 1 points 1 day ago* (last edited 13 hours ago) (1 children)

I’m actually paraphrasing Terence Tao and some of the top mathematicians on the planet. These discussions have been prevalent across the maths community.

It’s not common knowledge, but mathematical proofs aren’t intrinsically valuable (in any way whatsoever) outside of the mathematical community capable of deriving them. They are valuable because they create a mathematical community, not the other way around.

Scientific discoveries are different. Scientific insights without scientists are still useful to society. Not so mathematical proofs without mathematicians.