OpenAI опубликовала 722 работы своей модели по открытым задачам математики
Среди заявленных результатов — ослабленная форма гипотезы Римана и частный случай гипотезы Ходжа, но формальное доказательство, которое проверяет программа, есть пока не у всех работ, а саму модель OpenAI не выпустила.