PulseAugur
中
实时 23:55:13
实体 Lean Verification

Lean Verification

PulseAugur coverage of Lean Verification — every cluster mentioning Lean Verification across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_304903 ·

    数学YouTuber Vi Hart 贡献 AI 证明生成协议

    数学家兼YouTuber Vi Hart 正在为 Lean Verification 协议做出贡献，该协议现已被 AI 语言模型用于生成数学证明。Hart 认为，当前 AI 生成的证明表明人类数学家在为 AI 训练创建广泛数据集方面取得了成功，而不是 AI 本身具有智能。她指出，虽然 AI 可以生成大量证明，但人类数学家会筛选出最有趣和最重要的证明。