My point is that

1. the proofs are hard to read

2. but are still sufficiently high enough signal to understand the proof

3. blaming OpenAI for releasing high signal information on important problems is wrong. OpenAI did the right thing here.

4. the mathematicians can take however long they want to digest it and verify it. They have no legal obligation to do it immediately

This is exactly how I'd like society to work. Publish and let information get democratised quickly.