Terence Tao - The Challenge of Proving Randomness (via searchlore.ai)