Codex приписали ключевые идеи криптографического доказательства

Анант и Сахаи пишут в arXiv-препринте, что Codex с GPT-5.6 Sol в режиме ultra сгенерировал конструкцию и основные идеи доказательства для неклонируемого шифрования одного бита. Исследователи сами доработали и проверили доказательство и взяли ответственность за него. Но проверить вклад модели отдельно нельзя: авторы не приложили журналы запусков и историю правок. Для исследовательских агентов это и есть планка доверия: воспроизводимые следы работы важнее громкого заявления об авторстве идеи.

Что именно доказано и где границы