AlphaProof

Parameters

3B

Published

Jul 25, 2024

AlphaProof is an AI model developed by Google DeepMind (United States), first published in July 2024. It works in the mathematics domain, on tasks such as automated theorem proving and quantitative reasoning.

Epoch AI has no training-compute estimate for this model. The model has 3,000,000,000 parameters.

Access: Unreleased. Its weights are not openly released.

Full record

Organization: Google DeepMind
Country of organization: United States
Domain: Mathematics
Task: Automated theorem proving, Quantitative reasoning
Parameters: 3,000,000,000
Model accessibility: Unreleased
Open weights: No