Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field | AIChainDay