熱點事件持續更新
Formalization of the Classification of Finite Simple Groups
1 篇報導1 個報導來源5 小時前更新
先了解這件事
AI 綜述
本研究將有限單純群分類的原始證明完整地在 Lean 中形式化，並檢驗每一步的邏輯正確性。
- Lean 宣告量：43.1M，里程碑：2.05M，涵蓋 100 篇論文與書籍。
AI 根據報導生成 · 2 小時前更新
最新進展10月28日 00:29
Lean 中有限單純群分類的形式化報導時間線
沿著報導，瞭解事件的不同面向。
10月28日
- Hacker News (official RSS)精選Lean 中有限單純群分類的形式化
本研究將有限單純群分類的原始證明完整地在 Lean 中形式化，並檢驗每一步的邏輯正確性。 - Lean 宣告量：43.1M，里程碑：2.05M，涵蓋 100 篇論文與書籍。
本事件熱度趨勢
還沒有足夠的連續觀測資料，暫不繪製趨勢。