Looks like handwaving it as the fog of the future will do for now.. I don't see any progress made in this area. It seems like most of the investment is going to the interesting "look what the AI can do" stuff instead of correctness. I'm assuming the interesting stuff is easier to market.