John Carlos Baez on Nostr: If you drop a sloppy AI-generated proof of some theorem onto the internet hoping to ...
If you drop a sloppy AI-generated proof of some theorem onto the internet hoping to be hailed as a hero, think twice. Mathematicians are sick of it.
Published at
2026-09-24 08:54:37 UTCEvent JSON
{
"id": "d2abee39a938f823f6dc1098bf34ad67511c9a06e191b9580a29daf38dedcf6d",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1790240077,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/117325173688162556",
"web"
],
[
"imeta",
"url https://media.mathstodon.xyz/media_attachments/files/117/325/157/468/102/123/original/d5bdf957fb0e4ef8.webp",
"m image/webp"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/117325173688162556",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/117325173688162556",
"pink.momostr"
],
[
"-"
]
],
"content": "If you drop a sloppy AI-generated proof of some theorem onto the internet hoping to be hailed as a hero, think twice. Mathematicians are sick of it.\nhttps://media.mathstodon.xyz/media_attachments/files/117/325/157/468/102/123/original/d5bdf957fb0e4ef8.webp\n",
"sig": "c3b438c956d5b3f51d520be827d795e198ba9a7bdde3a5d59fbb5869736760358aa9b7c79718e936a30e855a52e3537f7bd3ee60dc9576078651bea0e99ba800"
}