Mathematician Tony Feng proposes AI companies build math peer-review assistants instead of autonomous theorem provers

Sanjeev Arora and DeepMind's Csaba Szepesvari backed the initiative.