Chinese contentNumina 发布 Fuse：面向 Lean 4 数学形式化的智能体工作台
Numina 做了个让人监督 AI 写 Lean 4 证明的工作台，还真拿它形式化了 Kakeya 猜想，开源版可以直接跑。
#Numina
1 stories · 1 in 7 days · 1 in 30 days
Stories, products and papers tagged "Numina", newest first.
Oct 27
Numina 做了个让人监督 AI 写 Lean 4 证明的工作台，还真拿它形式化了 Kakeya 猜想，开源版可以直接跑。