5 ms·Terence Tao, "Machine Assisted Proof" [video]2 points by knotthebest 3y agoknotthebest 3y agoGenerally just curious about what others a bit more knowledgeable in this field than me might think.