Terence Tao asks what mathematics should value when AI can do research-level work · cho.sh