What o3 Becomes by 2028 — LessWrong