AlphaProof

Type: Product

An AI system mentioned as capable of solving International Math Olympiad problems to a gold medal standard.

Mentioned in 1 podcast episode