Getting gold in the math Olympiad is a pretty strong indicator of operating independently on substantive problems.
A year ago they need an extensive harness to get silver, and two years ago they could hardly multiply 1000x10000.
Terence Tao tweeted yesterday about using GPT5 to help quickly solve a problem he was working on.