AI with Authority, from Application to Silicon
For sixty years, machine verification has been a major cost overhead, affordable only for exceptional artifacts. Here we report that generative AI inverts this relationship: at AI speed, machine verification is not only economical but essential to productivity --- it is the incorruptible referee that lets one person safely direct autonomous machine work at scale. In five weeks, one researcher on…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.
