Numina 发布交互式自动形式化系统 Fuse 论文
热点事件持续更新
Numina 发布交互式自动形式化系统 Fuse 论文
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
Numina 团队在 arXiv 发布论文，介绍其面向 Lean 4 数学形式化的交互式自动形式化系统 Numina Fuse。用户可通过蓝图、依赖图和 Lean 代码视图监督 AI 编排器的工作，后端可在用户不在场时运行智能体数小时。 据论文介绍，2026 年间 Fuse 从人工审核驱动的流水线演进为可自主调度专家、证明器和并行子任务的编排器，并已用于三维 Kakeya 猜想的形式化。其开源本地版本 Fuse Desktop 已可获取。
AI 根据报道生成 · 1 小时前更新
最新进展10月27日 12:00
Numina Fuse：Lean 4 中的交互式自动形式化报道时间线
沿着报道，了解事件的不同侧面。
10月27日
- arXiv cs.AINumina Fuse：Lean 4 中的交互式自动形式化
Numina Fuse 是一个面向 Lean 4 数学形式化的智能体原生应用，用户通过蓝图、依赖图和 Lean 代码视图监督 AI orchestrator 的工作，后端可在用户不在场时运行智能体数小时。2026 年间它从人工审核驱动流水线演进为自主调度专家、证明器和并行子任务的编排器，并已用于三维 Kakeya 猜想的形式化。开源本地版本 Fuse Desktop 已可用。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。