Otoh Ilya wasn't a main contributor for GPT-4 as per the list of contributions. gdb was.