Слабые места в шифровании нашёл Claude: поиск обошёлся Anthropic в $100 000 токенами

Научный результат от модели теперь считается в долларах за токены. И счёт за одну и ту же работу гуляет в десятки раз.

Арифметика простая. Криптографические находки на Claude обошлись в $100 000 токенами (подсчёт Саймона Уиллисона, 01.08). Десять математических результатов модели Astra от OpenAI стоили около $2 000 по тарифам Sol API (обзор implicator.ai, 01.08). Разница в пятьдесят раз, и в эти $2 000 не входят задачи, которые Astra пробовала и не решила.

Пересчитать можно руками. Все десять доказательств Astra выложены формализациями на Lean 4.32.0 в репозитории openai/ten-proofs под Apache-2.0. Нужны elan и Lake, дальше `lake exe cache get` и `lake build All` — отдельное доказательство собирается по имени модуля.

Проверяемость не спасла от скандала. Математики обвинили OpenAI в научной недобросовестности: результат по упаковке шаров в размерностях 1000+ опирается на аргумент из статьи Стивена Миллера 2016 года без ссылки (Scientific American, 06.08).

После критики OpenAI смягчила формулировку пресс-релиза. Изначально компания заявляла, что по основному результату каждой из десяти задач не было прогресса минимум десять лет.

По таймлайну Дэниела Литта из University of Toronto, с 2027 года перебор гипотез моделями станет доминирующей карьерной стратегией математика.