正在研究机器学习问题的数学家们证明了“可学习性（learnability）”的问题——算法能否从有限的数据中提取模式——与被称为连续体假设（continuum hypothesis）的悖论有关。Gödel表明，使用标准数学语言不能证明该语句是正确的或是错误的。最新结果出现在1月7日的Nature Machine Intelligence中。

英国斯旺西大学（Swansea University）的计算机科学家约翰·塔克（John Tucker）表示，这篇论文“对我们知识的局限性而言是一个重量级的成果”，对数学和机器学习都具有基础性的影响。

Machine learning leads mathematicians to unsolvable problem

https://www.nature.com/articles/d41586-019-00083-3