0 boosts
A claimed proof by Vigleik Angeltveit and Brendan D. McKay that the Ramsey number R(5,5) is at most 46.

(via Joshua Cooper)