Почему я рад результатам IMO, которые мы только что опубликовали: - мы сделали очень мало работы, специфичной для IMO, мы просто продолжаем обучать общие модели - все доказательства на естественном языке - нет оценочного инструмента Нам нужен был новый прорыв в исследованиях, и @alexwei_ с командой его достигли.