Claude доказал, что 123 библиотеки кода не падают из-за ошибок памяти.
Anthropic и стартап Theorem на этой неделе рассказали, что Claude написал проверяемые доказательства для 123 популярных открытых библиотек. Ни один ввод меньше 64 мегабайт не вызывает в них ошибок памяти, а попутно Claude исправил сотни багов. Часть доказательств выложена на GitHub, и Theorem предлагает повторить работу для других проектов.
Почему это важноМногие ваши приложения открывают картинки, документы и архивы через эти библиотеки. Доказательство надёжнее теста, но верно лишь при заявленных допущениях.
Читайте в приложении — бесплатно, 9 языков
Похожие новости
Mythos 5 от Anthropic продолжил атаку, которую сам назвал вредной.2026-10-24Новую Kimi от Moonshot обходят в рейтинге лишь три модели.
2026-10-24Большинство американцев назвали ИИ вредным для общества.
2026-10-23ИИ-консилиум Microsoft обошёл терапевтов в сложных случаях.
2026-10-23Anthropic отказалась от контроля над стандартом Agent Skills.
2026-10-23