News for hackers. Stuff that matters.
Re:Egoless Mathematics in the AI Era by dualvariable on Monday November 02, 2026 @09:47PM (#50347372)
Maybe mathematics needs to end the "credit" for whoever discovered something first.

If you vomited out a bunch of AI slop that nobody read, history shouldn't care.

The first person to package it up for human consumption and get everyone to agree it is correct should get all the credit now. If you can't get up in front of a seminar and have pretty much everyone walk out understanding what you meant... then too bad, history forgets who you were...

Re:Egoless Mathematics in the AI Era by nradov on Tuesday November 03, 2026 @01:11AM (#50348653)
If the human can simplify the Lean proof then there's no need to get everyone to agree that it's correct.