Нужны ли науке люди?

О научных проблемах и вызовах в эпоху автоматических открытий и масштабирования вычислений, которые еще несколько месяцев или лет назад казались неразрешимыми. Вопрос заключается в понимании и принадлежности работы, которая может порождать другие идеи и создавать кластеры в графе знаний. Итак, вопрос становится: что происходит с новым поколением ученых, когда наука автоматизируется? Мы хотим исследовать инструменты и парадигмы, которые необходимо учитывать для создания совместного существования перед лицом таких изменений. Что ожидать Что ожидать: Вы можете рассчитывать на глубокие обсуждения и исследования, сосредоточенные на обоснованном взгляде на эпоху автоматизации, в которую мы вступаем. Основная тема сосредотачивается на глубоких науках — особенно на пересечениях, связанных с физическим моделированием, где верификация остается исключительно сложной — а также на областях математики и формальных доказательств, где автоматизация все еще далеко не достижима, при этом оставляя достаточно места для открытых обсуждений и совместного обмена. Хост: Semiqlassical, Inc Проверьте нас на: semiqlassical.tech