やねうらおの王手将棋はプロより強いとあるのですが、実際にプロとの対局実績ってあるのですか？

https://twitter.com/yaneuraou/status/981895806910255104
「やねうら王のリゼロ系の評価関数では、人間の棋譜は全く用いてないし、定跡作成にも用いてないですが、プロ棋士より圧倒的に強いです。」