AlphaProof es un sistema de inteligencia artificial capaz de demostrar teorías matemáticas complejas y cuyo rendimiento le valdría la medalla de plata en la Olimpiada Internacional de Matemáticas (IMO) del año pasado.