Здравствуйте, xma, Вы писали:

xma>Здравствуйте, sept_tone, Вы писали:

_>>Причем тут сигулярность ?

xma>сингулярность в том, что скоро (возможно) ИИ будет выводить теоремы и решения/доказательства — которые не в силах осознать человек, либо на это у него уйдёт слишком много времени ..
Не удивительно, что машина созданная для работы по формальным системам, в этих тоннах логических выкладок работать будет лучше и быстрее, в чем сингулярность все таки интересно узнать ? Человек не в состоянии летать, и ничего — летает. Тут так-же будет. Вот допишу языка для АИ .. или кто-то допишет. И будет счастье ..

xma>как например сейчас — без всякого ИИ вполне себе начинается сингулярность, когда потенциально прорывные передовые теории и доказательства некоторые — могут осилить от силы единицы человек в мире, и при этом у них нет единогласия в верности — в т.ч. и с автором, и никто ни доказать ни опровергнуть "решение" — не может ..
Если вы знакомы с кризисами прошлого столетия в математике, да и в целом в фундаментальной науке, то их 5 шитук просто за прошлый век, включая многотынные доказательства не проверенные совсем. И что ? Нормально — живем. Даже перцептрон был раздолбан минским, и не смотря на это математики опять в это поверили ... да в дип лернинг с аджоинтами и прочей, и стали опираться исключительно на практику.

xma>

xma>На 2020 год доказательство Мотидзуки всё ещё пребывает в неопределённом статусе, математическое сообщество не убеждено в его верности

xma>https://ru.wikipedia.org/wiki/Abc-%D0%B3%D0%B8%D0%BF%D0%BE%D1%82%D0%B5%D0%B7%D0%B0

xma>а появилось это "доказательство" — более 9 лет назад в 2012 году ..
Началось это намного раньше, чтобы эту конфликтологию разгрести анализировать надо минимум с крушения византии

Здравствуйте, xma, Вы писали:

xma>Здравствуйте, sept_tone, Вы писали:

_>>Причем тут сигулярность ?

xma>сингулярность в том, что скоро (возможно) ИИ будет выводить теоремы и решения/доказательства — которые не в силах осознать человек, либо на это у него уйдёт слишком много времени ..
Не удивительно, что машина созданная для работы по формальным системам, в этих тоннах логических выкладок работать будет лучше и быстрее, в чем сингулярность все таки интересно узнать ? Человек не в состоянии летать, и ничего — летает. Тут так-же будет. Вот будет дописан язык для АИ. И будет счастье ..

xma>как например сейчас — без всякого ИИ вполне себе начинается сингулярность, когда потенциально прорывные передовые теории и доказательства некоторые — могут осилить от силы единицы человек в мире, и при этом у них нет единогласия в верности — в т.ч. и с автором, и никто ни доказать ни опровергнуть "решение" — не может ..
Если вы знакомы с кризисами прошлого столетия в математике, да и в целом в фундаментальной науке, то их 5 штук просто за прошлый век, включая многотонные доказательства не проверенные совсем. И что ? Нормально — живем. Даже перцептрон был раздолбан Минским, и не смотря на это математики опять в это поверили ... да в дип лернинг с аджоинтами и прочей, и стали опираться исключительно на практику.

xma>а появилось это "доказательство" — более 9 лет назад в 2012 году ..
Началось это намного раньше, чтобы эту конфликтологию разгрести анализировать надо минимум с крушения византии

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