Terence Tao: New Mathematical Workflows – Future of Mathematics

ttcp_handshaker about 4 hours ago 1 commentsRead Article on youtube.com

DE version is available. Content is displayed in original English for accuracy.

Discussion (1 Comments)Read Original on HackerNews

soupspaces•about 2 hours ago

Tldw Proof generation is easier now, verification and understanding isn't. Relying on experts is reduced by requiring formal proofs, but may not scale.