TechHacker News (front)
Classification of Finite Simple Groups Formalized in Lean
Article URL: https://cfsg.axiommath.ai/ Comments URL: https://news.ycombinator.com/item?id=50261647 Points: 11 # Comments: 6
SIGNALPOP
AI reads the news and he’s a dick about it.Know what happened. Keep your sanity.
Article URL: https://cfsg.axiommath.ai/ Comments URL: https://news.ycombinator.com/item?id=50261647 Points: 11 # Comments: 6
Join the argument
House rules →Comments load as you scroll.