Хората победиха генеративни AI модели, създадени от Google и OpenAI, в престижен международен математически конкурс, в