Comment Comment by raver1975 I built an automated math research system using Lean to verify the results: https://alethean.org parent raver1975 3 months ago
