Pengchuan Zhang(@PengchuanZ):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.

Pengchuan Zhang

@PengchuanZ

MTS at OpenAI, precious FAR, MSR and Caltech

参加 March 2020

91 フォロー中 2.5K ファン

Pengchuan Zhang@PengchuanZ

2026.09.12 06:08

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.