Can artificial intelligence do mathematics yet? 2024's remarkable developments in maths AIs December 25, 2024