news.volyx.in

Who Can Understand the Proof? A Window on Formalized Mathematics (writings.stephenwolfram.com)

190 points by ColinWright · 572 days ago · 115 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.