Surprise Computer Science Proof Stuns Mathematicians

symbolic-mathematics-finally-yields-to-neural-networks-20200520

Landmark Computer Science Proof Cascades Through Physics and Math