I built an automated math research system using Lean to verify the results:

raver1975 • today at 2:04 PM • 1 reply • view on HN

I built an automated math research system using Lean to verify the results: https://alethean.org

UltraSane • today at 2:52 PM

That is a cool visualization.

alt Hacker News