자동 정리 증명과 수학적 추론을 연구하며 xAI 초기 팀에 참여했다. Tony Wu라는 이름으로도 소개된다.형식 언어와 신경망을 결합해 수학 문제 해결을 돕는 연구에 참여했다. 유창한 문장을 만드는 능력과 검증 가능한 추론의 차이를 함께 설명할 수 있다.관련 개념: 사고의 연쇄.
일론 머스크
이고르 바부슈킨
크리스티안 세게디