The painstaking process of formalization to verify proofs is starting to surge thanks to AI. That could radically change the way people do math.
The painstaking process of formalization to verify proofs is starting to surge thanks to AI. That could radically change the way people do math.
This is more of a problem of how terrible math is
No. When even university professors struggle with it it’s a problem