Terence Tao, "Machine Assisted Proof" [video]
youtube.comGenerally 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.