The Association for Human Mathematics urged mathematicians to boycott OpenAI after it released more than 700 AI-generated manuscripts at once, then retracted three the next day over a sign error. The group says proofs should be independently checked and understandable to humans.