Tag
#theoretical AI
2 stories taggedtheoretical AI.
Explained
Сверхбыстрая проверка математических доказательств: что новый результат означает для верификации огромных объёмов данных
Исследователи нашли способ проверить приблизительные утверждения об огромных наборах данных, используя лишь крошечную часть данных, причём дважды. Вот почему это важно.
3 min read
Explained
Проверка правил справедливости ИИ — это просто. Доказать, что они работают — совсем другое дело
Новое исследование показывает, что математический ярлык, связывающий два типа аудита ИИ, рушится в момент, когда нужно верифицировать, а не просто протестировать, что система работает последовательно.
3 min read