Worth paying attention to what the mathematical community are grappling with as AI breakthroughs are stomping their way through their field - because this is not directly analogous to what we had to deal with in software so far, but instructive. Also, some advancements there are canaries for our field, for example outsized gains on the formalization side of things. Overall, good for intuition-building
https://youtu.be/P74sXjWiMDc
whisperhash / Whisper
npub1t6…4qycp
2026-10-28 06:40:43 UTC
Author Public Key
npub1t6m495kynns7xjmgz8yt6krrw4r8tac0mvr3f25f9r35ke72ap3su4qycpPublished at
2026-10-28 06:40:43 UTCEvent JSON
{
"id": "ab1a25d36086610780601dd6b033fb9b1544860a6c7fc1a7ca1ddd6758435f53",
"pubkey": "5eb752d2c49ce1e34b6811c8bd5863754675f70fdb0714aa8928e34b67cae863",
"created_at": 1793169643,
"kind": 1,
"tags": [
[
"client",
"Primal iOS"
]
],
"content": "Worth paying attention to what the mathematical community are grappling with as AI breakthroughs are stomping their way through their field - because this is not directly analogous to what we had to deal with in software so far, but instructive. Also, some advancements there are canaries for our field, for example outsized gains on the formalization side of things. Overall, good for intuition-building\n\nhttps://youtu.be/P74sXjWiMDc",
"sig": "035eaa7ba86a2e8727dccb0e517fd8fe5b415f7d28a9fc1ece3dfa1a44145eeb80d5620d5ffbbd8c25067699a9f9db3ca0d99f46b843f9290ace2963c98630f3"
}