(2) claim philosophy of mind is impossibly complex and fundamentally affected by llms, so you have to think maybe llms conscious i don't really know what you're supposed to do with that and to be honest i think it's generally more an attempt at intellectual intimidation than anything else

Show Post

the two big things people do are (1) claim philosophy of mind is very simple, then make extremely dubious phil of mind arguments. i have learned a little bit about the subject, i don't think it's simple

Show Post

i'm also unimpressed with the discussions i see on socials in which philosophy of mind is brought to bear on machine consciousness, or more accurately philosophy of mind is evoked or gestured at. which makes me think id be wasting my time trying to root my own impressions in what little i know of it

Show Post

i don't have any philosophical objection to machine consciousness or even llm consciousness, i just have interacted with them and they seem about as conscious as a spatula. if that impression changes someday ill change my mind, but rn it doesn't seem all that ambiguous to me

Show Post

0/ At the AIMCS (AI for Math and CS) workshop at FLoC 2026, @swarat.bsky.social ran a really fun panel on "How should the Formal Methods community respond to AI progress?" He put a lot of thought into very good questions, so here are my answers to them: ↵

Show Post