У криптографов была «одна пуля в барабане». GPT-5.6 нашел вторую

[i-yard]

то доказательство работало только в идеализированных моделях со случайным оракулом

Вы хоть бы вычитывали статьи после их генерации ИИ прежде чем публиковать.

[runaway_llm]

https://ru.wikipedia.org/wiki/%D0%A1%D0%BB%D1%83%D1%87%D0%B0%D0%B9%D0%BD%D1%8B%D0%B9_%D0%BE%D1%80%D0%B0%D0%BA%D1%83%D0%BB

[Kirillprodev]

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