ИИ помог доказать 50-летнюю математическую гипотезу? 🧠

Дэн Абрамов потратил больше месяца на попытку доказать гипотезу Конвея с помощью Claude, ChatGPT и Codex. Первые попытки быстро превращались в AI-slop: модели придумывали термины, строили доказательства на ошибочных результатах и даже объявляли задачу почти решённой.

Рабочим оказался другой подход: ИИ генерирует и критикует идеи, а каждый важный результат формализуется и проверяется через Lean. В итоге автор получил механически проверенное доказательство гипотезы, хотя независимой проверки математиками пока нет.