“the source code was viewable the entire time. Human reviewers looked at it for years. They confirmed the hardware RNG existed. Nobody checked whether the seed generator actually called it correctly.” I do not believe this is accurate James O’Beirne says he told Peter Gray about this in May of 2025
https://x.com/jamesob/status/2084640418918957430?s=46