December 6th, 2019

Думы кожаного мешка о цифровизации и искусственном интеллекте

У меня в одной френдленте
1) anlazz и Ко. рассказывают о невозможности формализации всего инженерного и научного опыта и поэтому - о необходимости научных и инженерных школ, в которых участники процесса неформально коммуницируют.

2) ailev рассказывает о системах управления жизненным циклом изделия (PLM), в которых автоматизировано прохождение продукта от концепции до утилизации (в т.ч. такая мелочь как [коллективное] проектирование в CAD)

3) tnenergy рассказывает о строительстве Международного экспериментального термоядерного реактора ITER (ИТЭР).
Строит его целый интернационал, который очевидно ни научной ни инженерной школой не является. Отдельные многотонные подсистемы из тысяч деталей изготовляют в разных странах и все это сопрягается только потому, что весь ИТЭР и каждый болтик, и процесс изготовления и строительства тщательно документированы и диспетчированы в PLM.

И каждому пункту находятся сторонники :-)
Еще прикольно, что anlazz ведет околокоммунистическую пропаганду, т.е. как бы общество будущего, ailev - либертарианец (частная собственность, свобода предпринимательства и т.п.) - как бы славное прошлое.

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

И то - пока.
4) Нейросети наступают на пятки
Нейросеть интегрирует и решает дифуры
Недавно двое сотрудников "Фейсбука", предположительно французской национальности, научили нейросеть делать символьное интегрирование, т.е. по формуле исходной функции получать формулу функции-интеграла. В принципе, это умеют делать и традиционные математические пакеты, но гораздо хуже, чем получилось с нейросетью. Правильности решения нейросеть не гарантирует, она просто генерирует догадки, первая из которых верна с вероятностью более 90%, а в первых 50 содержится правильная с вероятностью более 99%.

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

Этот пост изначально помещен в http://vlkamov.dreamwidth.org