Terence Tao, "Machine Assisted Proof" [video]
youtube.com
1 thread
Generally just curious about what others a bit more knowledgeable in this field than me might think.
Generally just curious about what others a bit more knowledgeable in this field than me might think.