‘Immature playground boasting’: Mathematicians uneasy at OpenAI’s latest scalp