- it will be fun to watch you two argue. 🍿
What I know from experience is that current LLMs are quite good at proving theorems, including novel theorems - good enough to dramatically transform the field of mathematics. I don't claim to know how they do this, and it's not really something I'm interested in. I just know *that* they do it
John Carlos Baez
npub1nf…3nqe4
2026-08-26 14:41:22 UTC
in reply to nevent1q…3er8
Author Public Key
npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4Published at
2026-08-26 14:41:22 UTCEvent JSON
{
"id": "32c7db6c529ee0039c0ad7f9d62da510c52d1d773c13d565f5803bf04ca22a3d",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1787755282,
"kind": 1,
"tags": [
[
"p",
"6faaa190b971566c829cf4fb46cbd86ee16c0fe827fd486d19c7f0ff26194c1e"
],
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/117162330168891207",
"web"
],
[
"p",
"970531af3b9cfd9ac830e04ff01510d5b34c1564ddf94d457a26845c2ae34976"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"2f8f4531ea44fb259282752c2d61b3c3bc9c4d21757124165ea9f6bdd5c67f1a"
],
[
"e",
"6b531484fd9e04126e54a8e07a2b9ea3bb671d943ca02ec7a6e4d62808c54711",
"",
"reply",
"84682dfd032f6dda48cb694c53ff1fc25de748859832d4b6d0809b35c6ea40df"
],
[
"e",
"9fa20e3a4a7c8e976eac0f3fb7a3f8ea3a32e8f55857f9a95ab4ef3c601020f0",
"",
"root",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"84682dfd032f6dda48cb694c53ff1fc25de748859832d4b6d0809b35c6ea40df"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/117162330168891207",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/117162330168891207",
"pink.momostr"
],
[
"-"
]
],
"content": "- it will be fun to watch you two argue. 🍿 \n\nWhat I know from experience is that current LLMs are quite good at proving theorems, including novel theorems - good enough to dramatically transform the field of mathematics. I don't claim to know how they do this, and it's not really something I'm interested in. I just know *that* they do it",
"sig": "2135aa65d720d10f0e3228112fcd5a999ecd988fd460916d5c00e4a594c9a02ccd302694a90ea3dac873c0db957868e16d97d6f9dbb25cc86cdb73f25bda7610"
}