Meh, I doubt it was intentional. Deliberate benchmaxxing is incredibly damaging to credibility once it's discovered (see what happened to Meta with LlaMa 4).
It's more likely that the training data was contaminated with the benchmark data.
Why was this downvoted? The math checks out. Multiplying by 4 and then dividing by 12 is wrong.
Easy way to verify this: assume only 1 person in the queue and only 1 machine. Then the original calculation yields 4/12 of a year, even though the actual wait time is (about) 1/12 of a year.
If AI makes engineers more productive, then it follows that companies will hire fewer engineers for the same work. So AI is making some engineers obsolete.
It's more likely that the training data was contaminated with the benchmark data.