Will Terrance Tao's vibe review of o3 determine it to be at or above the level of a competent graduate student in mathematics? (if Tao does not review the model, this resolves to N/A)