dan on Nostr: my uninformed mental model of AI proofs in mathematics is that they’re like ...
my uninformed mental model of AI proofs in mathematics is that they’re like lighthouses in the fog. the fog is still there, and clearing the fog is the primary value of the discipline. the lighthouses give a bit of an orientation but don’t clear the fog on their own.
Published at
2026-09-19 21:48:07 UTCEvent JSON
{
"id": "63721702ac2ba09f19640a9b238a3d721123d6a92dbcfd98a9d56d4a1918be0b",
"pubkey": "e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94",
"created_at": 1789854487,
"kind": 1,
"tags": [
[
"proxy",
"https://fed.brid.gy/r/https://bsky.app/profile/did:plc:fpruhuo22xkm5o7ttr2ktxdo/post/3mvvnwiq2t22i",
"web"
],
[
"proxy",
"https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mvvnwiq2t22i",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mvvnwiq2t22i",
"pink.momostr"
],
[
"-"
]
],
"content": "my uninformed mental model of AI proofs in mathematics is that they’re like lighthouses in the fog. the fog is still there, and clearing the fog is the primary value of the discipline. the lighthouses give a bit of an orientation but don’t clear the fog on their own.",
"sig": "b091bd746667ec9e06f6a5f7a9584dbfe24a3ede8626954e0c4a6eae10086b10d91c66f8d6dd65e8fa021a95340f1eb50484bbd6a1af9cd5e9be03dd6e9884ff"
}