Maybe he just introduced it to Mathcamp? We teenagers can be a bit quick to make claims sometimes :)