My assumption is that they checked the proofs vigurously, but now a way broader community is taking a look with professionals from the relevant subfields, and different agent setups / models.

No. Someone received a tip, presumably from inside OAI. He then used OAI Astra to check..