2026-09-15 10:35 UTC
Christian Haase just commented that also before AI there were people producing Theoremoids instead of theorems.
Replies (1)
-
@lmcj@mathstodon.xyz 2026-09-15 12:14
@tomkalei@mathe.social when i was doing my phd, a random lady showed up with a bunch of copies of a letter with the subject 'the mistery of the primes solved', and was distributing it throughout the maths department and requesting to talk to the head of school. i may still have the piece of paper somewhere, will look for it. don't remember the content of the letter unfortunately.