Event JSON
{
"id": "84644a6a1ffdb586d95d882ce5e99a8abceb638c9c8ab51c1b27a2833b532c1d",
"pubkey": "f7346eb283902ada9d21c109a93e83128d9f87d8fcfe70ad819b3bf2ad9bce16",
"created_at": 1740330891,
"kind": 1,
"tags": [
[
"p",
"4799d2d48ee1532b5d44d40457b300731ef85c244a0949b487fac142c09a8083",
"wss://relay.mostr.pub"
],
[
"p",
"0a815c7a135490b945de4160425052fb4cd3e683e5a692950726a3afc0ec31f3",
"wss://relay.mostr.pub"
],
[
"e",
"4f656c1f00251bc4748d76f7dfd6f45c330416a9ac4f2e2de28f1203d4d11180",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/114054325287785391",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqg7va94ywu9fjkh2y6sz90vcqwv00shpyfgy5ndy8ltq59sy6szpsr4pmdx - it's nice to see that this big result is serving to fuel further progress. I still can't tell if they use the whole classification or just a bunch of parts of the classification. For some reason finite simple groups of Lie type were the holdouts.",
"sig": "0449158108325b78ff631c4ff1d934543f38d03dae467c11db93a5dd456419903461418c0bc411c134dbd160401e9f7a7a63ddd604499f97d4fba63ada827950"
}
