Comment by frumplestlatz

I work in formal verification at a company whose products you've definitely interacted with today. On an average day, I throw thousands of dollars worth of tokens at the SOTA models and have them produce tens of thousands of lines of both proofs and code (alongside proofs of correctness).

We're solving problems now that we never even would have attempted previously. We couldn't have even staffed them if we wanted to. Even if we had the people, it would be years of development before we saw usable results.

If you can't understand how this kind of work would take a human with a few decades of experience 3-6 months, you're the 0.05 developer in my world.