OpenAI в среду отозвала три математические рукописи, через день после публикации 722 работ на GitHub. Ошибка в знаке в одной статье сломала довод, на который опирались две другие. Из оставшихся 719 рукописей лишь 300 имеют машинно проверенное доказательство.