Закат экономики теорем

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