GPT 5.4 solves major open math problem- Comments by Terry Tao and Jared Lichtman | Dark Hacker News