John Carlos Baez on Nostr: The Nine Wise Mathematicians have handed down their recommendations for AI companies ...
The Nine Wise Mathematicians have handed down their recommendations for AI companies who want to prove big mathematical theorems.
Their first recommendation is "Don't."
It kinda weakens their point that they don't stop there.
agmai.org/general-sep29/
Published at
2026-09-30 17:08:18 UTCEvent JSON
{
"id": "2f9a40a77f7cf9308619efec572500ef6d26011bc9cfc03dca0fc9c7139d9752",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1790788098,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/117361088812789502",
"web"
],
[
"imeta",
"url https://media.mathstodon.xyz/media_attachments/files/117/361/082/313/409/264/original/36b0e8f7adf1b24b.jpg",
"m image/jpeg"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/117361088812789502",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/117361088812789502",
"pink.momostr"
],
[
"-"
]
],
"content": "The Nine Wise Mathematicians have handed down their recommendations for AI companies who want to prove big mathematical theorems. \n\nTheir first recommendation is \"Don't.\"\n\nIt kinda weakens their point that they don't stop there. \n\nagmai.org/general-sep29/\nhttps://media.mathstodon.xyz/media_attachments/files/117/361/082/313/409/264/original/36b0e8f7adf1b24b.jpg\n",
"sig": "834dd1126f543dcaec3afc4a0c52e5115043c42043afb693aba177a54f58575c02404bc4bdb8848c285393cfa1f5a4c006032022a15ee0dffd013f67c22c3a0c"
}
