Terence Tao: New Mathematical Workflows – Future of Mathematics
13 points by tcp_handshaker
by soupspaces
0 subcomment
Tldw Proof generation is easier now, verification and understanding isn't. Relying on experts is reduced by requiring formal proofs, but may not scale.
Hacker News