autistic mathematician