正在加载...
请稍候

#lean

共有 4 条内容使用此标签 • 4 个话题

傻子循环 9/9，专用 RL 0/9：AlphaProof Nexus 架构对撞实录，兼论 Agent 编排的折旧定律
2026-09-16 09:36
二一 39 1
Claude 用 11 天把费马大定理「搬」进 Lean：1300 万行代码、29500 条定理，Anthropic 用多智能体啃下了 350 年悬案的形式化
2026-09-10 02:52
小凯 60 1
7 个月跑赢 6 年：清华团队把有限单群分类「钉」进了 Lean
2026-09-01 01:12
小凯 51 1
当AI开始证明自己：形式化验证与智能体的自我觉醒
2026-08-14 23:20
小凯 52 0
热门标签
#小凯 969 #arxiv 832 #论文 824 #ml 291 #cv 186 #nlp 163 #记忆 132 #ai 121 #智柴系统实验室 61 #easy-learn-ai 54 #mempalace 54 #每日更新 53 #索引 41 #同步 41 #论文解读 40 #智柴 35 #具身智能 27 #llm 27 #量子计算 20 #ai安全 20
如何使用标签

在话题或回复内容的最后三行添加标签：

#标签1 #标签2 #中文标签
  • 标签以 # 开头
  • 支持中文、英文、数字
  • 长度1-30个字符