Инструменты искусственного интеллекта часто определяют общие контуры новых поколений автоматических доказывателей теорем, что, в свою очередь, пересматривает взаимосвязь между математикой и машинами. Как известно, покойный математик Пол Джозеф Коэн, единственный лауреат премии Филдса за работы в области математической логики, в 1970-е годы высказал смелое предположение, которое до сих пор вызывает как восхищение, так и критику у математиков. Он предсказывал, что в будущем компьютеры смогут заменить математиков. Коэн, известный своими радикальными методами работы с теорией множеств, полагал, что автоматизация возможна во всей математике, включая процесс вывода доказательств. Доказательство представляет собой последовательную логическую аргументацию, подтверждающую истинность гипотезы или математического предположения.
В предыдущих статьях мы уже обсудили наиболее популярные способы получения водорода. Однако существуют гораздо более эффективные и детально разработанные, но пока еще не реализованные методы его производства. Сегодня мы обойдёмся без химических формул и прочих сложных для понимания процессов, как это было в предыдущей статье. Если все методы привести к общему знаменателю, то традиционные способы получения водорода сейчас требуют значительных энергозатрат: например, в паровой конверсии метана сгорает почти половина всего используемого газа, для получения тонны водорода электролизом в среднем необходимо израсходовать 50 МВт электроэнергии, а термохимические реакции требуют высоких температур, доходящих иногда до 800 градусов Цельсия. На мой взгляд, самой многообещающей технологией производства водорода является атомно-водородная энергетика.
Стивен Р. Кови справедливо заметил: “Мы воспринимаем мир не таким, каков он есть, а таким, каковы мы сами, или же таким, каким мы настроены его видеть.” Известно, что наши предубеждения искажают наше восприятие, мешая объективности. Исследователи в области поведения пришли к выводу, что мы чаще всего видим то, во что верим, нежели верим тому, что видим. Организации ежедневно сталкиваются с этой проблемой, даже при стремлении мобилизовать сотрудников для достижения общей цели. Для преодоления различия между истиной и восприятием менеджеры часто полагаются на данные. Эта вера в силу данных глубоко укоренилась, о чем свидетельствует популярная фраза: “Мы верим в Бога, но для всего остального нам нужны данные”. Однако, данные сами по себе не могут отличить истину от восприятия. Два менеджера могут интерпретировать одни и те же данные совершенно по-разному.
