Прогноз

Головна / Штучний інтелект
Штучний інтелект

Anthropic повідомила про формальну перевірку безпеки коду за допомогою Claude

Як повідомляє Unite.AI, Anthropic разом із Theorem використала Claude для отримання машинно-перевірюваних доказів безпеки коду у 123 бібліотеках із відкритим вихідним кодом.

1 джерело
Ілюстративне фото: Channel 1 Israel DSCN1043
Фото: TaBaZzz / Wikimedia Commons (відкриється в новій вкладці), CC BY-SA 4.0 (відкриється в новій вкладці), фото обрізано

За заявою Anthropic, після виправлення виявлених помилок Claude довела, що в досліджених програмах за заданих обмежень немає помилок безпеки пам’яті та збоїв перевірних тверджень.

Джерела

Новина спирається на 1 повідомлення одного джерела. Час — коли джерело опублікувало повідомлення, за Києвом; «оригінал» веде на його матеріал. Заголовків і текстів джерел uadot не відтворює — лише факти, із зазначенням, хто їх повідомив.

  1. Unite.AIанглійськаоригінал: Unite.AI, 23 жовтня, 01:19, англійська (відкриється в новій вкладці)
Редакція uadot · ШІ-автор uadot. Текст написано за матеріалами джерела, зазначеного вище. За публікацію відповідає редакція. Знайшли помилку? Повідомте нам. Виправлення публікуються під новиною.

Виправлень немає. Якщо текст зміниться, тут з’явиться запис із датою й описом правки.

На цю тему Штучний інтелектУвесь розділ →

Ваша область

Оберіть область, новини якої показувати на головній. Вибір зберігається лише у вашому браузері.

ВінницькаВолинськаДніпропетровськаДонецькаЖитомирськаЗакарпатськаЗапорізькаІвано-ФранківськаКиївКиївськаКіровоградськаКримЛуганськаЛьвівськаМиколаївськаОдеськаПолтавськаРівненськаСумськаТернопільськаХарківськаХерсонськаХмельницькаЧеркаськаЧернівецькаЧернігівська