Terence Tao: New Mathematical Workflows – Future of Mathematics

 (youtube.com)

11 points | by tcp_handshaker 3 hours ago

1 comments

  • soupspaces 25 minutes 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.