Are BBS(2,2) = 9 and BBP(2,2) = 9 proven or are these just the current champions? Polygon (talk) 11:45, 17 August 2025 (UTC)