模仿人类推理修正过程，阶跃星辰提出形式化证明新范式 | 开源
模仿人类推理修正过程，阶跃星辰提出形式化证明新范式 | 开源形式化定理证明，又有新范式！ 阶跃星辰正式发布并开源了形式化定理证明大模型：StepFun-Prover-Preview-7B和StepFun-Prover-Preview-32B。
来自主题: AI技术研报
6845 点击 2025-08-16 16:10
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT