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.
https://arxiv.org/abs/2609.24779 
Published at
2026-09-24 08:54:37 UTCEvent JSON
{
"id": "116d58f043f60f4d38157d07753547cff98ae94e2fd7b33051faba370206752e",
"pubkey": "f7346eb283902ada9d21c109a93e83128d9f87d8fcfe70ad819b3bf2ad9bce16",
"created_at": 1790240077,
"kind": 1,
"tags": [
[
"imeta",
"url https://media.mathstodon.xyz/media_attachments/files/117/325/157/468/102/123/original/d5bdf957fb0e4ef8.webp",
"m image/webp",
"dim 1000x673",
"blurhash UBRW0bj[-;%M~qofofj[?bRjayt7%Mt7ofWB"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/117325173688162556",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"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.\n\nhttps://arxiv.org/abs/2609.24779\n\nhttps://media.mathstodon.xyz/media_attachments/files/117/325/157/468/102/123/original/d5bdf957fb0e4ef8.webp",
"sig": "a1120bfcdb2412b9a2428c4f6c5c0db15c70c511740290b87711cf853c5d2c5f3b1dacd98c1e9bc25d38dc324b33f956eacff4e9fb4d2ea09822dea303e7a28b"
}
