Pull to refresh
13
0

AI developer

Send message

Когда ИИ будет создан, он сам скажет как нам с ним общаться. А тем временем OpenAI опубликовали недавно работу как их ИИ изобретает собственный язык Learning to Communicate.

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

Редко встречается такой контент и прекрасное оформление. Спасибо

Думаю, слабое место этого парадокса в том, что не удастся создать такую аксиоматическую теорию, которая сможет доказать останавливаемость всех программ, из множества тех, что останавливаются.
А доказательство остановки G(n) лежит в плоскости другой аксиоматики, отличной от той, что используется изначально.

Спасибо за пояснения, посидел с листочком и ручкой, парадокс осознал, по большей части. Отвечу в предыдущий пост.

Идея в том, чтобы построить не мат. модель, а отдельное физическое устройство, обладающее неким свойством, что позволит ему вычислять с бесконечной точность. Но это только теория.

Нейронными сетями для постройки супертьюринговых машин занимается Hava Siegelmann. Вот одна из ее публикаций The Super-Turing Computational Power of plastic Recurrent Neural Networks, но на практике еще никому не удалось создать машины для гипервычислений. Квантовые модели тоже не позволяют этого сделать.

Мне бы хотелось чтобы это было возможно. Думаю так и есть.
Вот такой план получения новых алгоритмов:


  1. Воспроизвести создание такого алгоритма через ГА
  2. Менять начальные условия, что даст доступ к созданию всего класса алгоритмов этого типа
  3. Расширять базу и условия, что расширит класс находимых алгоритмов.

Первый пункт вызывает много вопросов. Попробую ответить.
Если алгоритм довольно сложный, и интуитивно непонятно как его создать в одночасье, занимаемся декомпозицией. Далее выстраиваем такие условия, чтоб можно было воссоздать самые мелкие функции, затем из них посложнее и так далее. Это и есть "показать и рассказать", от этого не уйти.
Принципиально новый алгоритм не возникнет в вакууме, поэтому мы должны постоянно вбрасывать туда новые и новые задачи.


По аналогии с эволюцией первого порядка, эволюция второго порядка тоже должна быть способна на многое. Но это все манипуляции с синтаксисом. Семантику в результаты таких генераций прийдется вкладывать человеку. И когда человек найдет семантически что-то новое для себя, это можно считать успехом.

  1. Никак не обхожу.
  2. Можно скорее всего, но MT удобнее для моих целей.
    Цель в том, чтоб убедиться, что можно заставить машину создать алгоритм

Скрещивание — процесс случайный, поэтому в результате могут получиться такие варианты:
— Есть свободные деньги?
— ОАО Тыква является прибыльной компанией согласно последнему отчёту?
— Лето было урожайным в регионе-поставщике или была засуха в регионе-покупателе?


И еще, я бы рассмотрел варианты где правил становится больше или меньше:
— Есть свободные деньги?
— Была засуха в регионе-покупателе?


— Есть свободные деньги?
— ОАО Тыква является прибыльной компанией согласно последнему отчёту?
— Лето было урожайным в регионе-поставщике и
— Была засуха в регионе-покупателе?


Кроме и/или можно включить not, xor, тогде вариантов станет больше.


Если функции небольшие, как в примере, 2-4 переменных, то результат скрещивания близок к результату мутаций.
Еще я использовал скрещивание на уровне модулей, а не функций, там это более эффективно, потому что идея скрещивания в том, чтоб оставить части программы нетронутой. Это когда два разных модуля принимают различные решения и они взяты с разных родителей.


Пример:
— Первый модуль — покупать или нет?
— Второй модуль — сколько покупать?

Очень не хватает поддержки рефакторинга со стороны Xcode. Преимущества языка над obj-c вполне оправдывают его применение уже сегодня.

Information

Rating
Does not participate
Location
Украина
Date of birth
Registered
Activity