http://telegraph.controller.bot/files/483498094/AgACAgIAAxkBAAEBb2FppEe5tvZMoIlrqRsAAUaHw2XWEcEAAv8VaxvfcCFJNt2zJkz-CzQBAAMCAAN4AAM6BAАкт веры
Сегодня недуховная форма веры продолжает влиять на математические идеи. Когда доказательства занимают тысячи страниц, и лишь немногие обладают достаточной квалификацией для их проверки, насколько мы можем быть уверены, что ни одна деталь не была упущена?
Доверие вызывает не только длина доказательств, но и используемые методы. В 1976 году математики Кеннет Аппель и Вольфганг Хакен вошли в историю, объявив о первом доказательстве с помощью компьютера. Их открытие означало, что математическому сообществу пришлось принять на веру важную теорему, которую они не могли проверить вручную.
В 1960-х годах философ Томас Кун ввел понятие «сдвигов парадигмы», когда одна доминирующая научная идея заменяется другой. Одним из самых недавних примеров смены парадигмы стала область искусственного интеллекта.
В отличие от символического мышления, нейронные сети, как правило, представляют собой «чёрный ящик». Пользователи могут понимать входные и выходные данные, но не сложность вечеслений между ними. Трудно точно сказать, как им это удаётся. Это может потребовать изменения мышления; большинство учёных с детства стремились понять, как устроен мир, но теперь они сталкиваются с технологией, способной обеспечить производительность, подобную человеческой, без человеческих объяснений. Даже если ИИ станет очень хорош в выполнении какой-либо задачи, всё равно есть вероятность, что его ждёт сюрприз.
Почти десять лет назад считалось, что игру в го освоил сверхчеловеческий ИИ. Но в 2023 году исследователь ИИ Тони Ван и его коллеги проверили это утверждение на практике. Они обнаружили, что даже самую современную систему можно обмануть, заставив её совершать абсурдные ошибки, которые могут стоить ей победы. «То, что ваша система ИИ хорошо себя ведет в сценариях A, B, C, D, не обязательно означает, что она будет хорошо себя вести в сценарии E», — сказал Ван вскоре после публикации анализа. «Это акт веры, который нужно совершить».
От ньютоновской математики до современного машинного обучения, поиск истины всегда требовал большего, чем просто логика. Он требовал веры, выходящей за пределы разума и имеющихся доказательств. Веры в то, что новые идеи будут подтверждены, что почти непроверяемые доказательства выдержат проверку и что научные знания принесут пользу обществу.
Заманчиво рассматривать веру и разум как два разных пути, идущих в разных направлениях. Но наука издавна опиралась на оба: вера побуждала исследователей исследовать неизвестное, а разум помогал им понять, что они обнаруживают, когда добираются до цели.
https://psyche.co/ideas/why-the-search-for-proof-cant-be-separated-from-faith
