柯洁使用何种软件进行下棋？

1. 背景介绍

柯洁是中国著名的围棋选手，曾多次在国际围棋比赛中获得冠军。在他的比赛中，使用的绝大多数是计算机程序。

2. AlphaGo的使用

在2016年的AlphaGo与柯洁的比赛中，柯洁首次面对这个围棋计算机程序。在之后的比赛过程中，柯洁采用了AlphaGo。

3. Leela Zero的应用

目前，柯洁最常使用的围棋程序是Leela Zero。该程序是一个开源的AlphaZero风格的围棋引擎，其模型可以从大量的围棋自我博弈中进行学习。

4. Katago应用

Katago是另一个开源的AlphaZero风格的围棋引擎，其使用了神经网络来进行学习。

相较于Leela Zero，Katago更早被柯洁所采用。

5. 与Master Go对战

Master Go是一个比AlphaGo更强的围棋计算机程序。柯洁曾多次与该程序对战，并采用了不同的引擎进行学习。

6. ELOBANK的观察

ELOBANK是一个互联网围棋等级分系统，可以评估某个围棋选手的实力水平。柯洁常常利用这个系统来观察自己和其他选手的表现。

7. 自我博弈

除了使用围棋计算机程序，柯洁还经常进行自我博弈。这样可以让他更好地了解自己的思考和判断方式，并进行改进。

8. 总结

通过上述介绍，我们可以了解到，柯洁在下棋时所使用的程序包括AlphaGo、Leela Zero、Katago等。

同时，他也利用ELOBANK进行自我评估，进行自我博弈来提升自己的实力。