Title: The New Proof Producers