722 препринта, в среднем 3 часа работы внутренней модели, чтобы получить результат. Среди заявленных результатов перечисляют десятую проблему Гильберта над рациональными числами, гипотезу Ходжа для CM-абелевых многообразий, полную формулу Бёрча—Свиннертона-Дайера для большого класса эллиптических кривых, иррациональность постоянной Каталана, ослабленную гипотезу Римана и тд

https://github.com/openai/math