Autoformalization

The Proof Is Not the Point Anymore The New Bottleneck Isn't Writing Code, It's Specifying It