Pengchuan Zhang
@PengchuanZ
MTS at OpenAI, precious FAR, MSR and Caltech
91 Following 2.5K Followers
If AI can produce a correct proof cheaply, what have we gained—and what still matters?
A proof can solve a problem. Learning to prove can educate us. Inventing a proof can be creative work.
As a mathematician working in AI, I tried to untangle these values below.
Show more
