[gorkempacaci]

Statistical approaches are good for telling us where to look, and then we still have the symbolic approaches to precisely construct the correct proofs. I do research on the symbolic part and the statistical approach has a lot to offer, like suggesting what bits are likely to be used in a given proof context. Then there is a whole lot of stuff with Neuro-symbolic “AI” where the search efficiency of ANNs are leveraged. But yeah, you can’t “smoke and mirrors” your way to generating a proof like you can with generating natural languages (GPTs) but it is not that far out I think.