Classification of Finite Simple Groups Formalized in Lean 科技新闻 2026-10-28 19 阅读 来源：原文 Article URL: https://cfsg.axiommath.ai/ Comments URL: https://news.ycombinator.com/item?id=50261647 Points: 11 # Comments: 6 ← Vicious Cycles: Theses on a philosophy of news Google’s Genie 4 world model adds audio, more realistic worlds, and real-time steering →
评论 0
还没有评论，来说两句吧。