产品
OpenProver
开源AI数学证明工具，可在消费级显卡上本地运行，用于辅助自动化数学定理证明
时间轴 (近 90 天)
9月22日
OpenProver由布拉格查理大学团队发布并被CICM会议收录，采用Planner–Worker–Verifier三段式Agent架构
待验证50%
开源AI数学证明工具，可在消费级显卡上本地运行，用于辅助自动化数学定理证明
OpenProver由布拉格查理大学团队发布并被CICM会议收录，采用Planner–Worker–Verifier三段式Agent架构