Claims

../

2026_02_14_price: With Prolonger moving first, Shortener can end the game within (23/48+o(1))n moves, so it cannot be guaranteed to last (1-ε)n/2 moves; a strategy found by GPT-5.2 Pro at Price's prompting and noted in the site's remarks.

2026_07_24_buddhdev: With Prolonger moving first, the guaranteed length L(n) of the game is o(n), so neither displayed question has a positive answer; a manuscript produced with an AI research system and a Lean project, posted as a forum proof claim.

---