GPT-5.4 Pro didn’t just solve one math problem, it kicked open the door: its proof method now cracks a 60-year-old Erdős conjecture, making this one of the first times an AI proof actually leads somewhere.​​​​​​​​​​​​​​​​ We barely started.

→ View original post on X — @kimmonismus,