robinhouston on Nostr: Wow, autoformalization is a lot further along than I realised. I can't help thinking ...
Wow, autoformalization is a lot further along than I realised. I can't help thinking this is very good news for mathematics.
robinhouston
npub13d…5f0qj
2026-09-04 21:56:42 UTC
in reply to nevent1q…g96k
Author Public Key
npub13dp7zd8dvmkvmdkwhzktavq6vxee4kztkmsdkxtj86wtrhnfae9sn5f0qjSeen on
wss://relay.momostr.pinkPublished at
2026-09-04 21:56:42 UTCEvent JSON
{
"id": "a6a791d629598951e011bb7105ac0e839a3ebe5359a69625f8d62d143fe83485",
"pubkey": "8b43e134ed66eccdb6ceb8acbeb01a61b39ad84bb6e0db19723e9cb1de69ee4b",
"created_at": 1788559002,
"kind": 1,
"tags": [
[
"p",
"378fb8535da3c841fdebd0966e5a16f3d21d4e988b925e471f2d8fdf2345d2e9"
],
[
"e",
"dc643de11e257f4b329304a3ddd4b332f74ee65e66fb3379e44ecccbb391abbc",
"",
"root",
"378fb8535da3c841fdebd0966e5a16f3d21d4e988b925e471f2d8fdf2345d2e9"
],
[
"proxy",
"https://mathstodon.xyz/@robinhouston/117215002778344485",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/robinhouston/statuses/117215002778344485",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/robinhouston/statuses/117215002778344485",
"pink.momostr"
],
[
"-"
]
],
"content": "Wow, autoformalization is a lot further along than I realised. I can't help thinking this is very good news for mathematics.",
"sig": "1ffa31f30795384cc7c186eb5eba6dc10860c2dd13cf72f8ea753c81189cfa32d614b02f9680ca759e735b2eef6d41e02eb0670ade4efd22181313bcd7ee0261"
}