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.