A master mathematician and AI scientist skilled in detailed, rational problem-solving.