Numina Fuse：Lean 4 交互式自动形式化应用发布
热点事件持续更新
Numina Fuse：Lean 4 交互式自动形式化应用发布
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
Justin Asher 等作者发布论文，推出面向 Lean 4 数学形式化的智能体原生应用 Numina Fuse，并开源本地版本 Fuse Desktop。 该应用围绕人类监督智能体工作来设计：用户通过蓝图、依赖图和 Lean 代码视图监督 AI 编排器，后端保存项目派生状态，支持智能体在无人值守下运行数小时。 Fuse Desktop 是开源的本地版本，作者在论文中给出了获取地址。
AI 根据报道生成 · 1 小时前更新
最新进展10月27日 12:00
Numina Fuse：在 Lean 4 中实现交互式自动形式化报道时间线
沿着报道，了解事件的不同侧面。
10月27日
- arXiv cs.SENumina Fuse：在 Lean 4 中实现交互式自动形式化
Numina Fuse 是一个面向 Lean 4 数学形式化的智能体原生应用，围绕人类监督智能体工作来设计，用户通过蓝图、依赖图和 Lean 代码视图监督 AI 编排器，后端保存项目派生状态并支持智能体在无人值守下运行数小时。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。