Computers, Programming.
Yet we can prove them. So they must be real. Of course not all code is artistic. If we paid programmers to dream up clever algorithms all day they would get nothing done. The accounting or logistics system cannot be put together by aesthetes. At some point coding must become engineering. And