Viet-Hoang Tran | AI in maths