in the end i got a super long tex file (which survives adversarial verification by same models) and some Lean stuff that i'm still grinding. they also found some mistakes in published papers
my current plan is to extract those mistakes + prove them with Lean and contact the authors to see if legit
dan
npub1l2…07c36
2026-08-01 16:10:48 UTC
Author Public Key
npub1l26jhuzntdzct6p9vprrs33j70ds5d9utk05n28sx78790sg2s5sm07c36Seen on
wss://relay.ditto.pubPublished at
2026-08-01 16:10:48 UTCEvent JSON
{
"id": "a5a98154b9ff6cb41465aa09fd51526736ed858991624cbefeb9af56cb965225",
"pubkey": "fab52bf0535b4585e8256046384632f3db0a34bc5d9f49a8f0378fe2be085429",
"created_at": 1785600648,
"kind": 1,
"tags": [
[
"proxy",
"https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mrzuaa3ni22a",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "in the end i got a super long tex file (which survives adversarial verification by same models) and some Lean stuff that i'm still grinding. they also found some mistakes in published papers\n\nmy current plan is to extract those mistakes + prove them with Lean and contact the authors to see if legit",
"sig": "bee1fc14cc24ede6f18ddfd5372b7559cba9d9cf02b7458939d2c8d263e7fa1f229bb3f85608d3f746ee67eb973a9d7ec7e09da394001af5890d671c1e78f635"
}