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