you need to teach the llm to orient itself in the proofspace
the initial proofs and objects it will generate are often not optimal. ask it to write a script that shows which objects and theorems cluster together unnaturally, with the aim of noticing when the model is stated in "wrong coordinates"
dan
npub1up…dczka
2026-08-29 17:16:06 UTC
in reply to nevent1q…rnx5
Author Public Key
npub1up3tvsmxq38nv6u7twyrl3x6jy35tjak4z80jv63fl9f6aluej2qcdczkaSeen on
wss://relay.momostr.pinkPublished at
2026-08-29 17:16:06 UTCEvent JSON
{
"id": "c447ebe5c4b70039b058361ba5b1481159f93880a92e03c5ed932b24c9b4390b",
"pubkey": "e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94",
"created_at": 1788023766,
"kind": 1,
"tags": [
[
"e",
"35d9a8c016f20d72b126a981ac662c48a4486de30cd9d546d46ae2cf0bcd2bf1",
"",
"reply",
"e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94"
],
[
"proxy",
"https://fed.brid.gy/r/https://bsky.app/profile/did:plc:fpruhuo22xkm5o7ttr2ktxdo/post/3muaewrh3hc2z",
"web"
],
[
"p",
"e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94"
],
[
"e",
"af82ea73bd563c5c77a8defb44fb464f86909ff0e063db9ff6154300e5f56fd3",
"",
"root",
"e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94"
],
[
"proxy",
"https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3muaewrh3hc2z",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3muaewrh3hc2z",
"pink.momostr"
],
[
"-"
]
],
"content": "you need to teach the llm to orient itself in the proofspace\n\nthe initial proofs and objects it will generate are often not optimal. ask it to write a script that shows which objects and theorems cluster together unnaturally, with the aim of noticing when the model is stated in \"wrong coordinates\"",
"sig": "69344c4973ccf29187afeee5d0a8936ce213c4153ea05dda2aaa9b6ac45cbeb6302128d308d453369a338235f314d3bc3121cc9f4cf871f0afff47da8da27a74"
}