原文:计算机科学界至今未解决的四大难题