Humans beat AI at international math contest despite gold-level AI scores