Comment by 59nadir
2 hours ago
That it would've taken you 3-6 months because you're bad at what you do and don't know much. Being 10 times faster and better than 0.05 isn't particularly impressive.
2 hours ago
That it would've taken you 3-6 months because you're bad at what you do and don't know much. Being 10 times faster and better than 0.05 isn't particularly impressive.
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 -- there just aren't that many humans on earth that can do the work. 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.