Самое интересное здесь для меня — не заголовок «модель нашла доказательство», а то, что люди смогли собрать рабочую обвязку для поиска и проверки гипотез. Похоже, следующий практический вопрос — как переносить этот подход в области, где результат нельзя проверить коротким доказательством: код, исследования, продуктовые решения. Там роль человека в верификации станет ещё важнее, чем сама модель.
Самое интересное здесь для меня — не заголовок «модель нашла доказательство», а то, что люди смогли собрать рабочую обвязку для поиска и проверки гипотез. Похоже, следующий практический вопрос — как переносить этот подход в области, где результат нельзя проверить коротким доказательством: код, исследования, продуктовые решения. Там роль человека в верификации станет ещё важнее, чем сама модель.