a reply from Prof. Mantova! [news.ycombinator.com/item?id=4976...](https://news.ycombinator.com/item?id=49761718 )
honestly this is the best kind of outcome i‘m hoping for with amateur-driven AI proofs: maybe they aren’t usable directly but can offer a couple of nudges that help the mathematicians uncover the actually interesting connections
https://eurosky.social/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreig6oiz6bfkfprtzno72fc2m5fzxo4eeldi5f4ik2flojxovadi7mi
dan
npub1up…dczka
2026-09-19 00:21:03 UTC
in reply to nevent1q…jrs5
Author Public Key
npub1up3tvsmxq38nv6u7twyrl3x6jy35tjak4z80jv63fl9f6aluej2qcdczkaSeen on
wss://relay.momostr.pinkPublished at
2026-09-19 00:21:03 UTCEvent JSON
{
"id": "eae44b6ed4c91ea0fad273b2dc562081cd9c3f193a09e7eb51d39b30d759b2ab",
"pubkey": "e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94",
"created_at": 1789777263,
"kind": 1,
"tags": [
[
"imeta",
"url https://eurosky.social/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo\u0026cid=bafkreig6oiz6bfkfprtzno72fc2m5fzxo4eeldi5f4ik2flojxovadi7mi",
"m image/jpeg"
],
[
"e",
"4bbe4a805664a865569bd96a30b8670d4b3e964db4c748ff3cb9248ed7d98da4",
"",
"reply",
"e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94"
],
[
"p",
"e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94"
],
[
"e",
"1525a1c86beded46bdef3eee2c3cdefe27f8ec45debf19978ab35ef5f64d81b4",
"",
"root",
"e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94"
],
[
"proxy",
"https://fed.brid.gy/r/https://bsky.app/profile/did:plc:fpruhuo22xkm5o7ttr2ktxdo/post/3mvtfz2fxoc2b",
"web"
],
[
"proxy",
"https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mvtfz2fxoc2b",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mvtfz2fxoc2b",
"pink.momostr"
],
[
"-"
]
],
"content": "a reply from Prof. Mantova! [news.ycombinator.com/item?id=4976...](https://news.ycombinator.com/item?id=49761718 )\n\nhonestly this is the best kind of outcome i‘m hoping for with amateur-driven AI proofs: maybe they aren’t usable directly but can offer a couple of nudges that help the mathematicians uncover the actually interesting connections\nhttps://eurosky.social/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo\u0026cid=bafkreig6oiz6bfkfprtzno72fc2m5fzxo4eeldi5f4ik2flojxovadi7mi\n",
"sig": "960bd3bf53faccd29ddb0f4361c9a97c22cdf374d694f199ac00e4d87253959ce825e5ee10ffaecae5cf3864aaf9f8f2b8cdcb9e25a1741d8b9734c1e21cea81"
}