as has been pointed out before unlike most of the company papers, the western maths allow their papers to be downloaded from their website at http://www.westmaths.com.au/home/
unfortunately the 2024 is not up yet, but when it is we can see the proof questions are
Q2, 12d, 13b, 14b, 15b, 15c and 16c
and then it will be 599
don't know when they will put it up though
and there might be others that come before then too.
it may be a little unfair to expect syllabus development processes to keep up with rapidly changing online environments such as AI
so we turn to fields medalists such as terence tao to steer us in the right direction, and he has done so with a proofs-meets-AI article called "machine-assisted proof" in the january 2025 notices of the american mathematical society