undefined | Better HN

0 pointsrenonce1y ago0 comments

It’s going to be significantly faster very soon, we have seen how AlphaGo evolved into KataGo which is many magnitudes more compute efficient

0 comments

thomasahle1y ago

The main difficulty to scaling Alpha Proof is finding theorems to train it with. AlphaGo didn't have that problem because it could generate it's own data.

j / k navigate · click thread line to collapse

0 comments

thomasahle1y ago

The main difficulty to scaling Alpha Proof is finding theorems to train it with. AlphaGo didn't have that problem because it could generate it's own data.

j / k navigate · click thread line to collapse