Terence Tao - Collaborative Proof Development (via searchlore.ai)