On October 6, 2026, OpenAI released a large collection of mathematical manuscripts on GitHub. I noticed that some of these manuscripts, particularly Families 335 and 336, generalize two results fro...