这个账号的推文有 1 条上过 NoFOMO 榜单，1 条冲进过前三。
1.8万 粉丝AI 1 在 X 上关注
Axiom宣布用Lean自动形式化有限单群分类定理，约1.5万页，由百余名数学家跨代完成。
觉得我们漏了哪个一手信源，或者该关注什么话题？告诉我们。审核通过后，所有人的榜单都会覆盖到它。