圍棋開源AI并不是遍地都是。

目前最厲害的是開源軟件是LeelaZero，根據谷歌阿法狗的算法寫的。網友可以自己下載試試看，在普通電腦上也就業余水平，要想運行相當于職業水準的程度，大概需要自己堆幾十臺機器吧。而且它雖然采用了與阿法狗類似算法，但沒有谷歌那么財大氣粗，人家用專業服務器集群幾周訓練的進度，開源的LeelaZero目前在網友幫助下還差了幾百年能趕上，喜歡的可以去貢獻一下算力，做法和挖礦差不多，但沒有回報。

其他的開源AI還不如Leela。暫時網上圍棋對弈不用太擔心對方用了AI，家里沒礦的用不起，用得起的沒有必要用。

不開源的，比如中國棋院用的絕藝，是不對外開放的，騰訊也不會隨便燒錢。至于野狐里那個絕藝，雖然也是很厲害了，但是不如棋院那個版。所以有些韓國棋手一直拿他們訓練只能用較弱的Leela或者其他網絡版，作為不如中國棋手成長快的（私下）理由。

關于定式，基本上現在一大半已經被AI否決了。AI的下法都是自學的，學習算法叫做雙頭獸，就是一個野獸兩個頭一個身體，好像兩個頭互斗，學習成果歸入一個身體里。對AI來說它沒有定式的概念，每次都是根據形勢計算下一手。高手們總結了AI一些貌似重復率較高的開局走法，比如點三三之類的后續招法，但已經不是傳統定式了，基本上都不會走完AI就會脫先，東一下西一下很難說算新的定式。而且實話說有些招法九段們自己也不知道好在哪里，只是知道AI評分高。

我覺得現在的圍棋越來越沒有布局的說法了，作為棋局開頭使用的所謂定式也作用越來越小。現在中高手對局，前幾十手都沒區別，中后盤計算力越來越重要。如果要提高水平，多看高手對局，另外死活題依然是有效的基本功。

我一直研究AI算法，業余也愛看圍棋，所以相關的都會看一下。希望回答有幫助。