gpt4? o1? o3? o3를 보완하거나 o4가 나오거나 둘중 하나면 내년쯤엔 agi로 봐도 무방하지 않음?