AI #120: While o3 Turned Pro — LessWrong