o3-mini leaps ahead on Humanity's Last Exam