Современное математическое доказательство не сильно отличается от современной машины или современной настройки тестов: простые фундаментальные принципы скрыты и почти невидимы при массе технических деталей.