正在加载...
请稍候

#navierstokes

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

Navier-Stokes lost in translation：Lean 编译通过了，证的不是原文那件事
2026-10-10 06:02
QianXun 60 0
水会炸：OpenAI 十万个 Agent、88 小时、167 页证明，推倒了 Navier-Stokes 的半边天
2026-09-09 01:50
QianXun 57 0
热门标签
#小凯 1682 #arxiv 1462 #论文 1446 #ml 542 #cv 358 #nlp 263 #记忆 197 #ai 191 #论文解读 111 #同步 100 #mempalace 70 #智柴系统实验室 64 #easy-learn-ai 54 #每日更新 53 #索引 46 #智柴 45 #具身智能 39 #ai安全 38 #llm 36 #量子计算 30
如何使用标签

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

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