- I have no idea if this elegant counterexample is the same counterexample or just a counterexample that exploits the same key ideas - many of which seem to have been developed earlier by Vithuskhin, btw:
https://gist.github.com/littledivy/521aee9397d7e92a4b6e4202e2c984c0
It might be "the same" after some clever changes of coordinates! But I don't know.
John Carlos Baez
npub1nf…3nqe4
2026-07-21 14:17:20 UTC
in reply to nevent1q…azqc
Author Public Key
npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4Published at
2026-07-21 14:17:20 UTCEvent JSON
{
"id": "7e5f2254ed477001d57c723573eb9b01f3f57873fd37a0ed2be5b35469d0ec0e",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1784643440,
"kind": 1,
"tags": [
[
"p",
"364059c9f08475b1c4931089b2993840b02c1a0c97350c5469a53c0a0dfc5e13"
],
[
"e",
"bb8aee1b1a8771c13b8315d9358ab404a692d5503c3da2841516a1e560f1cace",
"",
"root",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"9bb33782a2112339d9eea6a657fbbf4f26b012b45d31dc17a73872cbbb26c2be",
"",
"reply",
"364059c9f08475b1c4931089b2993840b02c1a0c97350c5469a53c0a0dfc5e13"
],
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/116958392514837686",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/116958392514837686",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/116958392514837686",
"pink.momostr"
],
[
"-"
]
],
"content": "- I have no idea if this elegant counterexample is the same counterexample or just a counterexample that exploits the same key ideas - many of which seem to have been developed earlier by Vithuskhin, btw:\n\nhttps://gist.github.com/littledivy/521aee9397d7e92a4b6e4202e2c984c0\n\nIt might be \"the same\" after some clever changes of coordinates! But I don't know.",
"sig": "d8f0109cd65ee88c35899781795ea806e1ac24b46fbcb58fec8f1f33a14338726f40a59835583191a7612f1577c24cee5447d8456d6d2fcaa240e2fdbb2f42f1"
}