John Carlos Baez on Nostr: OpenAI claims to have proved 100 more big theorems. I urge all of you to fill out the ...
OpenAI claims to have proved 100 more big theorems. I urge all of you to fill out the form at agmai.org and politely ask this board of "elite mathematicians" to initiate a more democratic approach to dealing with this potential flood of AI-proved results.
Published at
2026-09-23 14:00:36 UTCEvent JSON
{
"id": "6f21b4acda440e6f45bacc8b2acf09ad552ab7c239ea864093216d8eef6be20a",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1790172036,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/117320714602784565",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/117320714602784565",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/117320714602784565",
"pink.momostr"
],
[
"-"
]
],
"content": "OpenAI claims to have proved 100 more big theorems. I urge all of you to fill out the form at agmai.org and politely ask this board of \"elite mathematicians\" to initiate a more democratic approach to dealing with this potential flood of AI-proved results.",
"sig": "6d17563695261702120ad08afac07f34060041e1545be0c009ec5a8ccff12e5e20dcfec82ac78791e6bc8369d6762d9a1f3fd561400560d0a0e1b600bffb8c94"
}
