AI Stack 探索 AI 技术前沿，分享深度思考与实践
条目
1989
延迟
—
最新内容
2026-07-15 20:45
非站点部署时间
当前时间
安全连接

TAGS / TERM

Lean

共 3 篇

  1. Leanstral：面向可信编码与形式化证明的开源智能体 2026-03-16 · HACKER_NEWS
  2. TorchLean：基于 Lean 形式化验证的神经网络框架 2026-03-03 · HACKER_NEWS
  3. 迈向自主数学研究：AI 探索自动化定理证明 2026-02-15 · HACKER_NEWS