Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2022-08-08 15:09:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: sick
Музыка:Нейросеть Midjourney нарисовала клип к песне Егор Летов - Все идёт по плану
Entry tags:art, go, youtube

Cat eating a big sandwich by Rembrant
По ссылке от [info]oort,
гениальнейший клип на "Все идет по плану",
составленный нейросетью
https://www.youtube.com/watch?v=H7GLmi1NV0o
и до кучи, реддит-сообщество с образчиками арта от нейросети DALL-E2
https://www.reddit.com/r/dalle2/
(местами, такого же гениального)
ну и фейлы от нее же
https://www.reddit.com/r/derpe2/

Вот образчики
https://www.reddit.com/r/dalle2/comments/wi9xny/a_large_strange_crucifix_standing_in_a_field/
"A large strange crucifix standing in a field surrounded
by cultists in black robes next to a bonfire, dirty award
winning vintage photography, glowing red sky, distorted
photo" (целая серия картинок)

https://www.reddit.com/r/dalle2/comments/wi26ew/man_reunited_with_his_childhood_dog_in_the/
Man reunited with his childhood dog in the afterlife

https://www.reddit.com/r/dalle2/comments/wi4o1x/cat_eating_a_big_sandwich_by_rembrant/
"Cat eating a big sandwich by Rembrant."

https://www.reddit.com/r/dalle2/comments/wicjsd/mona_lisa_having_a_glass_of_wine/
Mona Lisa having a glass of wine

Привет



(Читать комментарии) - (Добавить комментарий)


[info]sometimes
2022-08-13 21:49 (ссылка)
Аутологично получилось (из-за размытости обычного языка я непонятно выразился). Попробую на примере (моего общения с языком F*, в частности).

В программировании часто используется сортировка. Что такое "отсортировать массив" человеку "понятно": это "те же самые элементы, идущие в неубывающем порядке". Окей, мы написали это строго: массив есть функция на [1 .. n], через кванторы всеобщности записали неубывание, определили сортировку как биективное отображение [1 .. n] в себя, такое, что композиция с ним неубывающая. И тут начинают сыпаться нюансы: что композиция биективных отображений биективна (допустим даже, это лежит у компилятора в багажнике, но если это не упомянуть в доказательстве, ему придется по всему багажнику искать - не это ли пропущено), что композиция отображений ассоциативна, что инъективное отображение [1 .. n] в себя сюръективно и наоборот - то, что при описании конкретных алгоритмов сортировки, конечно, никогда не упоминается.

Теперь пусть у нас есть текст (обычный, человеческий) с описанием алгоритма сортировки и доказательством его корректности (пусть heap sort, например), без упоминания идиотских бессмысленных деталей для младших школьников, конечно. Мы хотим, чтобы компьютер научился перегонять такое в корректный список из формул, каждая следующая из которых является применением правила вывода к нескольким предыдущим и аксиомам. Для этого надо, во-первых, уметь превращать поток человеческих предложений в формулы, а, во-вторых, уметь заполнять гэпы.

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

Но до этого, наверное, ещё довольно далеко пока; я, например, знаю, что довольно давно (с времен word2vec и text2vec) умеют реконструировать семантические отношения между словами, но про реконструкцию грамматических правил (типа генерации той же "глокой куздры", с правильно согласованными падежами, спряжениями и знаками препинания) не знаю, хотя наверняка такие работы должны быть (и для лингвистики должно быть крайне полезно, потому что нароется куча лингвистических феноменов, валяющихся под носом, но до сих пор незамеченных).

(Ответить) (Уровень выше)


(Читать комментарии) -