GPT 5.4 solves major open math problem- Comments by Terry Tao and Jared Lichtmanerdosproblems.com3 pointsphilipfweiss2 months ago