Most probably. Web searching for that Caroline Ellison young lady I found some articles describing her as a young math prodigy when she was in highschool (or something like that).