bobxmax··on GPT-5 is behind scheduleAll frontier labs are now employing LVMs or LLMs. But that's my point is you won't see the fruits of it this early.
bobxmax··on GPT-5 is behind scheduleWe are close. Language models and large vision models have transformed robotics. It just takes some time to get hardware up and running.
bobxmax··on Rosetta 2 creator leaves Apple to work on Lean full-timeSeems more like applying LEAN to AI development, no?
bobxmax··on Rosetta 2 creator leaves Apple to work on Lean full-timeSounds like an arbitrary telos, especially in a world where one of the most useful inventions in human existence has been turning dead dinosaurs into flying metal containers to transport ourselves great distances in.
bobxmax··on Computing Inside an AIThey absolutely are. I'm somewhat non-technical but I've been using Claude to hack MVPs together for months now.