What is Aleph Prover?
An AI system from Logical Intelligence that constructs machine-checkable formal proofs.
AL
Aleph Prover
推理大模型编程大模型别名：AlephProver / logicalintelligence/alephprover
发布时间: 2026-05-20浏览量: 0
Aleph Prover 是 Logical Intelligence 的形式化证明 AI 系统，可构造机器可检验的形式化证明，2026 年 5 月公布在主流形式化推理基准上达到领先水平。
数据优先来自官方发布（GitHub、Hugging Face、论文），其次为评测基准官方结果，最后为第三方评测机构数据。 了解数据收集方法
Aleph Prover
模型基本信息
推理过程
支持
思考模式
不支持思考模式
上下文长度
暂无数据
最大输出长度
暂无数据
模型类型
推理大模型
输入/输出模态
文本 → 文本
发布时间
2026-05-20
模型文件大小
暂无数据
MoE架构
未公布
总参数 / 激活参数
未公布 / 未公布
知识截止
暂无数据
Aleph Prover
开源和体验地址
Aleph Prover
官方介绍与博客
DataLearnerAI博客
暂无
Aleph Prover
API接口信息
接口速度
暂无数据
暂无公开的 API 定价信息。
Aleph Prover
评测结果
Aleph Prover 当前已收录的代表性评测结果包括 ProofBench v1.1 (Lean 4)（1 / 53，得分 100）。 本页还汇总了参数规模、上下文长度与 API 价格，便于结合评测结果与部署约束一起判断模型适配度。
Aleph Prover
发布机构
Logical Intelligence
查看发布机构详情 Aleph Prover
模型解读
Aleph Prover 是 Logical Intelligence 研发的 AI 系统，目标是构造机器可检验的形式化证明，用于数学证明与可验证代码生成。官方于 2026 年 5 月 20 日发文称 Aleph 在主流形式化推理基准上达到领先水平，并公布了用 Lean 4 形式化反驳 Erdős 平面单位距离相关问题等案例。
说明
它以系统形式提供，底层模型、参数规模和 API 价格未公开；发布日期按官方首次公布基准成绩的博客日期填写。
Aleph Prover
常见问题
Is Aleph Prover available as an API?
Logical Intelligence has not published API access or pricing.
DataLearner 官方微信
欢迎关注 DataLearner 官方微信，获得最新 AI 技术推送
