5.5 First we got GPT 5.5, which has spent the last week proposing all manner of solutions to the Erdős Problems. Terence Tao described one of the solutions as a “meaningful contribution”. He is a notably hard marker when it comes to AI and mathematics, so his comment distills to very high praise indeed. Then
