What does it mean for mathematics that OpenAI released 700+ AI-generated proofs of open problems at once?

On October 6 OpenAI published over 700 manuscripts claiming to solve open problems. Reactions range from interest to mourning; none has been verified yet.

• New era: AI accelerates mathematical discovery
• Only valuable if humans verify and understand them
• A loss: the human beauty of discovery fades
• Overreach: most claims won't hold up
• Worrying: encryption could be at risk too