I wonder if it would be possible to fit a commercial AGT like Mitsubishi Crystal Mover into the Boring tunnels. They're wide enough I think but I don't know if the height clearance is sufficient. And of course AGTs are always constructed with a fire egress walkway which wouldn't fit, but Boring seems to have already accepted that significant safety limitation.
The intent is that it's supposed to be autonomous cars moving around, but it seems Elon vastly overestimated the speed with which autonomous cars can actually be delivered, so the manual operation is just a stopgap solution.
Then again, it's pretty telling that he's struggling to recreate the features of systems developed 50 years ago.
Ultimately I think Boring/Tesla would introduce automation to the Las Vegas tunnels faster if they just bought a commercial moving-block system like Cityflo and adapted the vehicles. The fact that they don't seem to be pursuing this makes me think that the automation goal was never serious outside of its potential as a marketing tool for Tesla, which they are perhaps ironically also failing to deliver.