In the meantime, the Sam Altman-led company will be releasing two new reasoning models, called o3 and o4-mini.