OpenAI’s latest mathematical research release has intensified debate over whether AI-generated proofs are being independently ...