I believe what they are bragging about is not the translated proofs, but the process of doing the translation.

> produced by frontier AI with ~2 person-days of human effort versus an estimated ~2.75 person-years manually (a 350x speed-up). We achieve this through task-level specification generators...