Ресурсы: техническое описание TLS, LaTeX - в картинки (img), криптографическая библиотека Arduino, шифр "Кузнечик" на ассемблере AMD64/AVX и ARM64
Трактовки и сложности NP в прессе
Вот The Guardian, в статье о новой работе на тему ИИ с успешным перебором, пишут:
A major limiting factor is that the problems need to have solutions that can be verified automatically, which rules out many questions in biology, where hypotheses often need to be tested with lab experiments. (Существенный ограничивающий фактор в том, что проблемы должны иметь решения, которые могут быть проверены автоматически, что исключает многие вопросы биологии, где гипотезы часто должны проверяться лабораторными экспериментами.)
При этом в исходной работе ничего нет про “исключение проблем биологии”. Что, впрочем, не удивительно: речь-то в статье идёт про классические вычислительные NP-полные задачи, для которых, понятно, существует быстрый алгоритм проверки предложенного решения (это по определению). “Лабораторные эксперименты” тут не требуются (а что, кстати, мешает проводить такие эксперименты в автоматическом режиме? ну, особенно сейчас, когда кругом супермощный “искусственный интеллект”?). А в публикации, которая доступна на сайте Nature, на этот раз, кроме обязательного LLM, упоминают генетические алгоритмы.
Адрес записки: https://dxdt.blog/2023/12/15/11904/
Похожие записки:
- Индивидуальные сертификаты для каждой TLS-сессии
- Техническое: разные сетевые задержки и TCP с портами
- Cloudflare и авария сервиса резолвера 1.1.1.1
- Стандарты NIST для "постквантовых" криптосистем
- Заголовки статей про "отрицательное время"
- Световой беспроводной телефон позапрошлого века
- Низкоорбитальные спутники для наблюдения - развитие
- Реплика: компиляторы С, "написанные" LLM
- KDE и "крахи"
- Claude-ИИ и ограничения в Fable 5
- Реплика: ИИ и капча
Новый
Написать комментарий