Terence Tao, "Machine Assisted Proof" [video] #1 Post by knotthebest » Sun, Feb 11, 2024, 4:53 PM UTC Terence Tao, "Machine Assisted Proof" [video]youtube.com
Re: Terence Tao, "Machine Assisted Proof" [video] #2 Post by knotthebest » Sun, Feb 11, 2024, 5:34 PM UTC Generally just curious about what others a bit more knowledgeable in this field than me might think.