实体 Fuse Desktop

Fuse Desktop

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

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_324288 · Oct 27 · 04:00

Numina Fuse 简化了 Lean 4 中 AI 辅助的数学形式化

Numina Fuse 是一款新推出的、原生代理的应用程序，旨在协助使用 Lean 4 编程语言进行数学形式化。该应用在 2026 年全年开发，便于人类监督编写 Lean 代码的 AI 代理，提供项目蓝图、依赖关系图和代码本身的视图。该系统已被用于形式化数学猜想和研究证明器模型，其经验教训旨在为未来的自动形式化系统提供参考。还提供了一个开源的本地版本 Fuse Desktop。