@ultima_shifl@t0nnbo@tenobrus You could be right. Surely at some point enabling automation here pays off hugely. Doubt it's in the next three years.
I was thinking more of things like AlphaFold, where software solves one problem but leaves the actual hard part (the downstream bio.)
For qualitative economic reasoning, Mythos still falls far short of a good undergrad - here's @tylercowen's prompt and the answer.
Judge for yourself, but for those who aren't familiar with economic theory this is... not good.
I don't know how personalized this was to Tyler
1/
@steipete@nicbstme Right next to Dolores Park, Bi Rite (best grocery store) and Tartine (best patisserie.) You're right between the Mission and the Castro. Geographically pretty central so easy access to most of the city. And, very importantly - sunny.
@l2k Yeah it's weird that the blog post uses a visualization that's not from the proof method. I found this which is supposed to be from the construction but can't remember source ...
@hormeze Something I heard early on was "it only creates options, it doesn't take options away." Alcohol is the one counterexample for me. And I miss it!
@tenobrus@AlecCrisman@emollick Yeah this is a "quantity has a quality all its own" type of thing - each individual ASI might not be godlike, but run many of them in parallel with a good coordination scheme, and while in principle it's similar to what humans do, in practice very different.