AI-Generated Mathematical Proofs Outpace Human Verification

AI systems are producing mathematical proofs that arrive before human explanations, challenging the verification and understanding of results. The core claim is that AI-generated discoveries are increasingly difficult for humans to validate, raising epistemic concerns in mathematics. This matters as reliance on AI for fundamental research grows, potentially shifting standards of proof and trust in scientific findings.