Numina Fuse：Lean 4 交互式自动形式化系统
热点事件持续更新
Numina Fuse：Lean 4 交互式自动形式化系统
1 篇报道1 个报道来源11 小时前更新
先了解这件事
AI 综述
Justin Asher 等作者发布论文，介绍面向 Lean 4 数学形式化的智能体应用 Numina Fuse。该系统围绕人类监督智能体工作而设计，用户通过 blueprint、依赖图和 Lean 代码视图监督 AI 编排器。作者称，开源本地版本 Fuse Desktop 已可获取。
AI 根据报道生成 · 1 小时前更新
最新进展10月27日 12:00
Numina Fuse：在 Lean 4 中进行交互式自动形式化报道时间线
沿着报道，了解事件的不同侧面。
10月27日
- arXiv cs.AINumina Fuse：在 Lean 4 中进行交互式自动形式化
Numina Fuse 是面向 Lean 4 数学形式化的 agent-native 应用，围绕人类监督智能体工作而设计，用户通过 blueprint、依赖图和 Lean 代码视图监督 AI 编排器。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。