ParentFull threadsideeffffect·People are already working on thishttps://leandojo.org/https://machine-learning-for-theorem-proving.github.io/https://www.youtube.com/watch?v=P5ew0BrRm_Ihttps://paperswithcode.com/task/automated-theorem-provinghttps://old.reddit.com/r/math/comments/11mb9lx/future_of_aut...https://github.com/RiccardoBiosas/LeanGPTView on HN