← Back

AlphaProof

software

Google's AI model for mathematical reasoning and theorem proving

Also mentioned (1)

Casual references without a clear endorsement

Vlad Tenev mentioned "and they actually compete with harmonic. So they have a similar mathematics model called alpha proof" ▶ 1:00:13