Mathematician Ernest Ryu on solving a 42-year-old problem in math with GPT-5 Pro | Dark Hacker News