Well he asked some AI to do the math for him probably