New Ramsey number upper bound: $R(5, 5) \le 48$ | Dark Hacker News