ИИ помог закрыть задачу криптографии: доказательств у неё получилось сразу два

Одну и ту же задачу криптографии доказали дважды, и в обоих доказательствах участвовал ИИ.

Доказательство нельзя написать правдоподобно: оно либо сходится, либо нет. Здесь сходящихся выводов вышло два на одну задачу, и каждый проверяется отдельно от другого.

Дальше слово за математиками: разбор обоих доказательств покажет, чего стоило участие ИИ.