Virginicus on Nostr: I like this angle. Can an LLM tell which theorems are interesting?
I like this angle. Can an LLM tell which theorems are interesting?
Virginicus
npub1sx…6w9cq
2026-07-24 23:04:41 UTC
in reply to nevent1q…02mv
Author Public Key
npub1sx205sycyah94vzdcjl39la29xew4hhh2vq0vkp9m2ap4u0c0k6qx6w9cqPublished at
2026-07-24 23:04:41 UTCEvent JSON
{
"id": "9b0eb2bb18128fd296168322100fd7ba0089ef66fa607a3f80dc4acb23bbc906",
"pubkey": "8194fa4098276e5ab04dc4bf12ffaa29b2eadef75300f65825daba1af1f87db4",
"created_at": 1784934281,
"kind": 1,
"tags": [
[
"p",
"2f8f4531ea44fb259282752c2d61b3c3bc9c4d21757124165ea9f6bdd5c67f1a"
],
[
"e",
"be4564fa5349463fe188313718cac1384795d417ec27372c3c1ea4f475c735bf",
"",
"reply",
"2f8f4531ea44fb259282752c2d61b3c3bc9c4d21757124165ea9f6bdd5c67f1a"
],
[
"proxy",
"https://universeodon.com/@Virginicus/116977453085048986",
"web"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"4882a6f58cf1e56fd0abaff0b4385771166d8f2f3b5cd7a542b11d639fc7bfb9",
"",
"root",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"proxy",
"https://universeodon.com/users/Virginicus/statuses/116977453085048986",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://universeodon.com/users/Virginicus/statuses/116977453085048986",
"pink.momostr"
],
[
"-"
]
],
"content": "I like this angle. Can an LLM tell which theorems are interesting?",
"sig": "3480383634c855b6190be5711b90e467e9ccb644b5b75ac9b1a2686c4ebbe1d3c5e911da993e5026f77e484350b6bd9ddccd959fed2e87ae29d7452597e96703"
}