Bartosz MilewskiUltrafinitists wanted to organize a conference but the only place that still had rooms available was the Hilbert Hotel
Monoid Mary
@argumatronic
- 564 Followers
- 171 Following
- 471 Posts
manic pixie lambda girl. libertarian trash, obligate carnivore. i like children, whiskey, and disjunction. http://argumatronic.com/
@RosaCtrl oh yes, i'm very sick of that one, too!
@RosaCtrl the difficulty with pushing back against dualism is that we really have no idea how subjective experience emerges from the purely physical, however we define the purely physical. not saying you're wrong, just saying it's hard.
the quote in the first tweet is from this Verge piece, which i am not taking issue with, just that people should have realized this fundamental problem with pursuing AI via LLMs long ago
i am *very* cutting edge, it's just a lifestyle for me
"Cutting edge research shows language is not the same as intelligence." Oh? You don't say? I could have told them this a long time ago!
https://ctrlshifted.substack.com/p/vignette-corpus-linguistics-1999
Terence TaoHowever, recent advances in both AI and proof formalization have begun to vastly accelerate and automate the first two components of this process. This is leading to a new type of "impedance mismatch": problems for which solutions can be rapidly generated and verified in a mostly automated process, but for which no human author has understood the arguments well enough to initiate the (much slower) digestion process.
In fact, with the current cultural incentives that reward the first authors to "solve" the problem, rather than the later authors who "digest" the solution, one may end up with the perverse situation in which an AI-generated (and formally verified) solution to an problem that is presented to the community without any significant digestion may actually *inhibit* the progress of the field that the problem lies in, by discouraging any further attempts to work on the problem, simplify and explain the proof, and extract broader insights. (2/3)
there was a moment in time when we had the gasoline and the level of development such that fairly ordinary people could do things like raft the Grand Canyon or climb a mountain in Glacier but not everyone had started to do it yet, so the things you would see were still somewhat wild and free. there was still wildlife around. you could see the stars.
that moment is gone, most people don't know. but we're reading The Monkey Wrench Gang right now and it's making me nostalgic for that brief time.
@d6 yeah -- this is one of our peach trees, and they've been especially difficult for us. the montana weather is not super friendly to peaches!
when you have planted and nurtured young fruit trees and you spend a few years waiting for them to finally flower (and hopefully, maybe, produce fruit), the feeling when they finally do is not dissimilar from watching your child take his first few steps
