DeepMind's AlphaZero-based agent that discovers provably correct matrix multiplication algorithms, including a 47-multiplication 4×4 method.
Teahann Knowledge Base