Terence Tao documented in his blog his use of GPT-4 and Claude to assist with research, evaluating that current models still fall short of experienced mathematicians in mathematical taste, but have practical auxiliary value in mechanical derivations and literature retrieval