Humans beat AI at international math contest despite gold-level AI scores | Dark Hacker News