4o? o1? o3-high한테 물어보니까 gpt-4 라던데 맞음?