OpenAI released 372 new mathematical proofs, sparking debate among experts over model access, verification transparency, and more.