1. Forum
  2. Usenet
  3. SCI.MATH

  • Terence Tao, "Machine Assisted Proof"

    From Mild Shock@21:1/5 to All on Tue Feb 27 17:02:41 2024
    Terence Tao, "Machine Assisted Proof" https://www.youtube.com/watch?v=AayZuuDDKP0

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)