Alphaproof

“we recently put together um and I think it's a very exciting piece of work called alpha proof it is a system that learns through experience how to correctly prove mathematical problems”

Demis Hassabis

youtube · 2026-04-06

Recommended

“you have systems uh uh some systems that we work on like Alpha proof Alpha geometry that are getting you know silver medals in maths olympiads which is fantastic but on the other hand some of our systems those same systems are still making some fairly basic mathematical errors right and for for various reasons”