@bigdata_ru

Страница 155 из 327
Igor
12.10.2017
17:34:45
Как и боты - они тоже появились давно Смысл же в новых подходах

Drino
12.10.2017
17:35:20
Не, это не канает. Распознавание появилось очень давно. Как и синтез речи.
Тогда и альфаго надо убрать - Каспаров слил Deep Blue больше 20 лет назад

/dev
12.10.2017
17:35:58
crispr/cas9
там не только cas9 результаты даёт

Google
Igor
12.10.2017
17:36:01
Да и self-driving cars тоже можно убирать, полагаю

Drino
12.10.2017
17:36:23
Да, лошадь же не нужна - значит повозка самоходная!

Timofey
12.10.2017
17:37:27
Тогда и альфаго надо убрать - Каспаров слил Deep Blue больше 20 лет назад
Эм. Не надо путать экспертные системы с машинным обучением

Igor
12.10.2017
17:37:44
Не, это не канает. Распознавание появилось очень давно. Как и синтез речи.

Andrey
12.10.2017
17:37:46
Тогда и альфаго надо убрать - Каспаров слил Deep Blue больше 20 лет назад
Для шахмат уже давно был сделан предпросчёт. И комбинаторный взрыв в шахматах всё же в никакое сравнение не идёт с комбинаторным взрывом в го.

/dev
12.10.2017
17:37:54
Складывать чиселки любой счетовод умеет, зачем нужен этот ваш компутер?
счетовод не будет мне 120 раз в секунду подносить картину поля боя в сетевом шутере

Igor
12.10.2017
17:38:43
Что имеется ввиду под “предпросчетом”?

/dev
12.10.2017
17:39:08
Что имеется ввиду под “предпросчетом”?
кеширование всего и вся заранее, до того, как оно понадобилось

Timofey
12.10.2017
17:39:13
Думаю, речь про эндшпили и -начало-игры-

Igor
12.10.2017
17:39:15
Не было этого в Deep Blue

Timofey
12.10.2017
17:39:29
Это точно было

Igor
12.10.2017
17:39:32
Эндшпили только относительно недавно построили на 6 фигур

Timofey
12.10.2017
17:39:37
Эндшпили и все такое

Google
Igor
12.10.2017
17:39:44
20 лет назад такого быть в принципе не могло

Шахматы - не го, но и “предпросчитать” что-то у них тоже практически невозможно

Другое дело, что поиск с отсечением там хорошо работает

Vlad
12.10.2017
17:40:55
А ведь шахматы же хакают через дерево решений, на сколько я знаю

Vlad
12.10.2017
17:41:47
черт, пот не найду статью. где описывался программный комплекс на дереве решений, который считался топ 1

Timofey
12.10.2017
17:41:53
У шахмат до сих пор, насколько мне известно, нет полностью прочитанного дерева

Igor
12.10.2017
17:42:06
И не будет никогда скорее всего)

Timofey
12.10.2017
17:42:17
Vlad
12.10.2017
17:42:18
в GO тоже google делали нейронки которые работали с деревьями

Igor
12.10.2017
17:42:30
Базы Ломоносова Все 3—7-фигурные таблицы занимают 140 ТБ. Все 8-фигурные таблицы будут занимать приблизительно 10 ПБ.

Timofey
12.10.2017
17:42:32
Там был Монте карло

Igor
12.10.2017
17:42:37
В шахматах 32 фигуры)

Timofey
12.10.2017
17:43:09
В шахматах 32 фигуры)
Если окажется, что выигрыш есть на 40 ходу, то какая будет сложность?

Igor
12.10.2017
17:43:27
Они идут снизу-вверх

т.е сначала посчитали все возможные партии при трех фигурах

Перешли на 4 фигуры

Timofey
12.10.2017
17:43:59
А

Google
Timofey
12.10.2017
17:44:04
Ну да, беда

Хотя непонятно, может полная доска даст вырожденный случай?

Igor
12.10.2017
17:44:42
Монте Карло, дерево + нейронки, насколько я понимаю)

Там был Монте карло

Timofey
12.10.2017
17:44:56
Я читал полностью статью

Igor
12.10.2017
17:45:07
Idris

Andrey
12.10.2017
17:46:18
гомотопическая теория типов чтоли?

/dev
12.10.2017
17:46:19
Что за программирование на зависимых типах данных?
https://www.manning.com/books/type-driven-development-with-idris

Igor
12.10.2017
17:46:40
число уникальных шахматных партий составляет 10^120.

Хотя непонятно, может полная доска даст вырожденный случай?

Timofey
12.10.2017
17:46:49
Подход, похожий на шахматы. Но несколько поумнее. Оценочная функция в шахматах задавалась ручками через 8000 параметров. А тут параметров побольше вышло, но и тренировали их не ручками.

Igor
12.10.2017
17:47:14
Но понятно, что нам нужно только “знать” оптимальную игру за один цвет

Timofey
12.10.2017
17:47:30
Да, перебор несколько сокращает

Степень в 2 раза поменьше

Igor
12.10.2017
17:48:43
Но шахматы скорее всего ничейные

Timofey
12.10.2017
17:48:44
Непонятно, что физика представит нам через 20-40 лет. Мб. будем на домашних компах гугол байтов иметь)

Andrey
12.10.2017
17:49:24
Что можно сделать с помощью программирования на зависимых типах?

Timofey
12.10.2017
17:49:27
Хотя надо уходить из стандартной модели, и все такое

Vlad
12.10.2017
17:49:51
Так это. квантовые ПК же обещают взорвать устои.

Google
Igor
12.10.2017
17:49:52
Это считается даже больше, чем количество атомов во вселенной. Но стоит сказать, что движки на обычных деревьях поиска и так отлично справляются

число уникальных шахматных партий составляет 10^120.

Andrey
12.10.2017
17:50:25
Можно сделать, чтобы из новости о том, что Медведев выиграл выборы президента, оно автоматически выводило, что Жириновский их проиграл, Путин покинул пост президента и т.п. ?

Timofey
12.10.2017
17:50:33
Так это. квантовые ПК же обещают взорвать устои.
Пока не слышал про квантовую память. И квантовые компы не решают все проблемы, пусть в них и 10к кубитов

Vlad
12.10.2017
17:51:04
Но они значительно упрощают жизнь в нишах

а там может что и выстрелит

Igor
12.10.2017
17:51:25
Особенно в криптографии :)

Vlad
12.10.2017
17:51:54
Там сам боженька велел :)

Timofey
12.10.2017
17:52:12
Особенно в криптографии :)
Читал, что худшие из хешей квантовыми компьютерами тоже не берутся

Только экспонента делится пополам

Igor
12.10.2017
17:53:24
Можна ссылку на науч-поп обьяснение?

Timofey
12.10.2017
17:53:35
Постараюсь найти

Andrey
12.10.2017
17:57:45
Прикол в том, что если мы изменим правила ходов в шахматах - возьмём все возможные позиции и для каждой пары рандомно скажем - возможен такой ход или нет, то в таких шахматах не будет никаких стратегий или закономерностей типа преимущества двух слонов и т.п.

Тогда у человека или интеллектуального алгоритма не будет никаких преимуществ над тупым перебором

Хороший шахматный интеллект должен как-то использовать тот факт, что правила ходов не рандомные

Можно ли сделать вывод шахматных закономерностей на зависимых типах?

Timofey
12.10.2017
18:02:17
Так что можно сказать, что "одна бабка сказала"

Хороший шахматный интеллект должен как-то использовать тот факт, что правила ходов не рандомные
Да победили уже шахматы. Перебором и хорошей функцией оценки позиции. Именно оценка позиции - это интеллектуальная составляющая. И сейчас в настолках это используется. Хорошая эвристика + перебор = сильный бот.

Ну да, в го эвристику человекам сделать не удалось - обучили нейросеть.

Google
Andrey
12.10.2017
18:07:15
Шахматы это поле 8 на 8. Го - 19 на 19. Любая RTS это гораздо больше

Timofey
12.10.2017
18:08:12
Да, + задержка пользы по времени

Andrey
12.10.2017
18:08:16
Надо чтобы ИИ научался логическому мышлению

Timofey
12.10.2017
18:08:46
Чтобы и на смысл жизни отвечал ещё)

Andrey
12.10.2017
18:09:31
Не надо нам такого

На зависимых типах можно сделать логическое мышление?

Timofey
12.10.2017
18:10:19
Вообще, rts обыграют, как мне кажется, довольно скоро. Лет 10 не пройдет, имхо

Andrey
12.10.2017
18:12:06
У меня недавно как раз была идея сделать ИИ на зависимых типах

Pavlo
12.10.2017
18:15:45
зависимые типы класс решаемых задач не расширяют. они, как и математика в общем, просто дают возможность проверить внутреннюю непротиворечивость построений

Andrey
12.10.2017
18:18:17
Тогда можно нагенерить кучу построений, и если какое-то из них оказалось непротиворечиво, значит это рабочий план

Igor
12.10.2017
18:18:52
Мне кажется, или вы пытаетесь использовать ЗТ там, где можно использовать Пролог?

Я идею, наверное, просто не очень понимаю

Andrey
12.10.2017
18:19:38
Пролог не умеет выводить то, что его явно не научили выводить

yopp
12.10.2017
18:22:00
Особенно в криптографии :)
Только для ряда математических проблем. Например для факторизации больших простых чисел, на которой построен самый популярный ассиметричный алгоритм RSA, есть квантовые алгоритмы, которые позволяют эту задачу решить за очень небольшое время.

Igor
12.10.2017
18:22:27
Алгоритм Шора, да, мне это известно

yopp
12.10.2017
18:22:57
А вот для различных хеш сумм никакого известного профита нет.

Igor
12.10.2017
18:23:19
Что вместо RSA?

yopp
12.10.2017
18:23:29
Куча всего уже

В хроме гугл уже тестирует

Не помню какой из

Страница 155 из 327