数学家设计出机器学习永远「学不会」的问题

哥德尔不完全定理的延伸