However, not until 2017 were the computer programs proved to be able to outperform top human players in public competitions.
然而，2017年前，并没有计算机程序在公开比赛中战胜人类顶尖高手的记录。