OpenAI claims AI tools let mathematician Terence Tao pursue unconventional ideas, sparking debate over their scientific utility · Digg