Zhao, Andrew

新AI论文探讨形式化领域的零数据推理

一篇题为“Absolute Zero: Reinforced Self-play Reasoning with Zero Data”的新论文介绍了一种在形式化领域进行AI推理的方法。该方法由Zhao等人详细介绍，利用强化自玩，并且不需要外部环境的任何数据。然而，作者承认该方法目前仅限于形式化环境，并未解决图灵完备性的基本问题，这表明需要进一步的计算机科学研究。