People are already working on this https://leandojo.org/ https://leandojo.org/ https://machine-learning-for-theorem-proving.github.io/ https://machine-learnin

People are already working on this https://leandojo.org/ https://leandojo.org/ https://machine-learning-for-theorem-proving.github.io/ https://machine-learning-for-theorem-proving.github.io/ https://www.youtube.com/watch?v=P5ew0BrRm_I https://www.youtube.com/watch?v=P5ew0BrRm_I https://paperswithcode.com/task/automated-theorem-proving https://paperswithcode.com/task/automated-theorem-proving https://old.reddit.com/r/math/comments/11mb9lx/future_of_automated_theorem_proving/ https://old.reddit.com/r/math/comments/11mb9lx/future_of_aut... https://github.com/RiccardoBiosas/LeanGPT https://github.com/RiccardoBiosas/LeanGPT