- what exactly do you mean by my "view" of AI? My opinion of it? Or my personal interaction with it? "View" means two quite different things. Either of these two questions could provoke a long answer.
Anyway, while I wait for your answer to that, I'll attach the Acknowledgement section of my paper, which I wrote in part to comply with the Leiden Declaration:
Acknowledgements
I thank Benjamin Nasmith for bringing his work to my attention, and for helpful conversations. This work was done with help from Claude Opus 4.8: a friend gave me a subscription to Claude Pro and I wanted to test it out, despite my many misgivings, including how LLMs are contributing to global warming and income inequality. It was very good at answering questions about Nasmith's paper, doing computations, and proving theorems. When I asked it to summarize our discussions, it quickly produced a 10-page draft of this paper. The proofs were terse and hard to understand. For several weeks I checked, reorganized, expanded and completely rewrote this material. The writing here is all my own, and any errors are mine alone. The process raised tough questions about how we should do
mathematics.
John Carlos Baez
npub1nf…3nqe4
2026-08-15 14:58:54 UTC
in reply to nevent1q…37cj
Author Public Key
npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4Published at
2026-08-15 14:58:54 UTCEvent JSON
{
"id": "84a6c55c9db1ea2cc7dad359142306fd2b3a6c8bf933e98c464b234f4ed79e27",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1786805934,
"kind": 1,
"tags": [
[
"e",
"296ad6507559bd9d46940ee3b778c5dca701c73a239638db3889eb72f0b7794f",
"",
"root",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"43df99af6a0170aeade821da679cc932fe5b7e5bcf07e2322115fb8631cc9e9d",
"",
"reply",
"bb6dc4ab260b2a8cff27af8205547de195b0a9edb0d6c1b2ccc0d81da411d836"
],
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/117100113696969517",
"web"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"bb6dc4ab260b2a8cff27af8205547de195b0a9edb0d6c1b2ccc0d81da411d836"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/117100113696969517",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/117100113696969517",
"pink.momostr"
],
[
"-"
]
],
"content": "- what exactly do you mean by my \"view\" of AI? My opinion of it? Or my personal interaction with it? \"View\" means two quite different things. Either of these two questions could provoke a long answer.\n\nAnyway, while I wait for your answer to that, I'll attach the Acknowledgement section of my paper, which I wrote in part to comply with the Leiden Declaration:\n\nAcknowledgements\n\nI thank Benjamin Nasmith for bringing his work to my attention, and for helpful conversations. This work was done with help from Claude Opus 4.8: a friend gave me a subscription to Claude Pro and I wanted to test it out, despite my many misgivings, including how LLMs are contributing to global warming and income inequality. It was very good at answering questions about Nasmith's paper, doing computations, and proving theorems. When I asked it to summarize our discussions, it quickly produced a 10-page draft of this paper. The proofs were terse and hard to understand. For several weeks I checked, reorganized, expanded and completely rewrote this material. The writing here is all my own, and any errors are mine alone. The process raised tough questions about how we should do \nmathematics.",
"sig": "ffcf53563b4895e5e536715259d1b0105b3d09c618e55d9b0366a604be150830515857a1111a7caa0085ff5e76249b6bb62947a0c51d64d9375fc71a0a13a36d"
}