Ресурсы: техническое описание 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/
Похожие записки:
- ИИ LLM и метод сбора ананасов
- IP-адреса хостинга и ЕСИА
- Реплика: число 15 и факторизация квантовым компьютером
- Фотографии штатовских президентов
- Спуск ступеней ракеты-носителя Starship
- Заголовки СМИ про "предположения учёных"
- OpenAI и очередное "решение" открытых математических проблем
- ИИ с превышением
- ChatGPT и японская монета периода Мэйдзи
- Google и LLM ИИ в поиске
- Reuters о сети разведывательных спутников SpaceX
Новый
Написать комментарий