Like all mathematicians today, I am mulling over the end of one era, and the start of a new one.
Looking backwards, what do you think was the final great mathematical theorem proved without the use of AI?
Richard Elwes
npub1m4…kf85f
2026-09-20 11:07:51 UTC
Author Public Key
npub1m4zfe40awg0pgu40l7gy4qxcwgkh9t97pwa7csuefv5ps60dmv2slkf85fSeen on
wss://relay.momostr.pinkPublished at
2026-09-20 11:07:51 UTCEvent JSON
{
"id": "31bf64c1fd3de431180e68b6465512683460ecd50f8311f8dd6a0d32207fe752",
"pubkey": "dd449cd5fd721e1472afff904a80d8722d72acbe0bbbec43994b281869eddb15",
"created_at": 1789902471,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@richardelwes/117303048372792066",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/richardelwes/statuses/117303048372792066",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/richardelwes/statuses/117303048372792066",
"pink.momostr"
],
[
"-"
]
],
"content": "Like all mathematicians today, I am mulling over the end of one era, and the start of a new one. \n\nLooking backwards, what do you think was the final great mathematical theorem proved without the use of AI?",
"sig": "6d7423140da8bb5b44db851d2a5827be8a64eae5243e6d0f93e1bb7e7de33146dd27812cb6a680efdfbb45bd31eac6d2ccb745b94e1eb95a56502f4e4bfe20cf"
}