Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field — Blankdot