OpenAI опубликовала 722 математических доказательства, сгенерированных искусственным интеллектом, по 17 направлениям, что вызвало дискуссии о рентабельности и практической ценности. Хотя эти доказательства прошли машинную проверку, многие из них лишены интерпретируемости для человека: ошибка в одном символе приводит к каскадным сбоям. Математики опасаются, что ИИ лишь перекомбинирует существующие знания, перекладывая на плечи человеческих исследователей бремя сортировки и интерпретации огромных объёмов результатов, не порождая при этом новых идей, имеющих центральное значение для математических исследований.