Happy GPT-5 day to those who celebrate. I got to play with it at work a bit, and it is impressive. I think having the AI generate symbolic representations of facts in text is going to be a lot more feasible going forward, which is going to be a game changer for people who can figure out how to use it.