ИНТЕЛЛЕКТ / ТЕХНОЛОГИИ / БЕЗОПАСНОСТЬ
O19.ИИ и безопасностьЧитать в Telegram
МАТЕРИАЛЫ РЕДАКЦИИ

Рубрика: Исследования

Материалы

ФАКТЫ. КОНТЕКСТ. ПЕРСПЕКТИВА.
Исследования

LitPivot от AllenAI: Система для развития и обоснования идей в научной литературе

AllenAI представила LitPivot — систему, которая помогает исследователям динамически развивать идеи, контекстуализируя их в научной литературе. В тесте она показала себя лучше, чем текстовый редактор и чат-бот ИИ.

2 мин чтения
Исследования

Claude помог доказать свойства безопасности кода в 123 библиотеках

Anthropic и Theorem сообщили о машинно проверяемых доказательствах для 239 точек входа. Результат относится к определённым бинарным файлам и допущениям, а не ко всем ошибкам библиотек.

2 мин чтения