Grant Sanderson - The Role of Technology in Mathematical Discovery (via searchlore.ai)