Использование искусственного интеллекта Claude для поиска ошибок в коде и разработки белков против яда скорпионов

Лаборатория Z@lab365Новости и СМИ23 октября 2026, 07:45
  • Фото поста канала  Лаборатория Z

Компания Anthropic сообщила о масштабном эксперименте по поиску ошибок в программном обеспечении с помощью искусственного интеллекта Claude. Совместно со специалистами компании Theorem исследователи проверили 123 библиотеки с открытым исходным кодом и обнаружили сотни программных дефектов. Некоторые ошибки сохранялись годами, несмотря на триллионы запусков автоматизированных тестов.

Похожие посты

Machinelearning@ai_machinelearning_big_dataТехнологии и ITвчера
Использование искусственного интеллекта Claude для поиска ошибок в коде и разработки белков против яда скорпионов
  • Фото поста канала Machinelearning

📌 Anthropic и Theorem использовали Claude для математической верификации 123 открытых библиотек Исследователи применили модель для построения формальных математических доказательств надежности кода. Основой послужили готовые фаззинг-тесты из OSS-Fuzz, сервиса Google для непрерывной проверки открытого кода случайными данными, которые сами по себе не способны дать стопроцентной гарантии отсутствия сбоев. Claude превращал каждый такой тест в строгое утверждение и доказывал его. Всего за несколь...

  • 86
  • 16
  • 16
  • 9
  • 8
  • 8
Бескромный@dbeskromnyЮмор и развлечения3 часа назад
Использование искусственного интеллекта Claude для поиска ошибок в коде и разработки белков против яда скорпионов

Почему Claude зовут Claude Его назвали в честь человека, который прятал компьютер под одеждой, чтобы обыграть казино. По данным New York Times, именно Клоду Шеннону Anthropic посвятила имя своего ассистента. Без этого математика не было бы ни интернета, ни нейросетей. В 1948 году он опубликовал «Математическую теорию связи» и доказал, что информацию можно измерить. Слово «бит» вошло в обиход именно с этой работы. Формулы формулами, но жил Шеннон как настоящий рок-н-ролльщик: — ездил по кор...

  • 87
  • 61
  • 39
  • 27
  • 11
  • 10
Буратино в гестапо@zavaliliПолитика и власть23 октября 2026
Использование искусственного интеллекта Claude для поиска ошибок в коде и разработки белков против яда скорпионов
  • Фото поста канала  Буратино в гестапо

Компания Anthropic сообщила о масштабном эксперименте по поиску ошибок в программном обеспечении с помощью искусственного интеллекта Claude. Совместно со специалистами компании Theorem исследователи проверили 123 библиотеки с открытым исходным кодом и обнаружили сотни программных дефектов. Некоторые ошибки сохранялись годами, несмотря на триллионы запусков автоматизированных тестов.