Lean проверяет доказательство, но не задачу Клея: формализацию ещё нужно сверить

19 сентября 2026 года автор поста разделил три проверки: Lean-теорема, соответствие аналитической статье и ответ на вопрос Клея. Формальная проверка OpenAI закрывает только первый уровень.

Правила премии Клея требуют публикации в подходящем издании, двух лет после публикации и общего принятия математическим сообществом.