An AI Agent Team Improved a Math Bound Built on 1979 Work. A Proof Checker Confirmed It.
A team of OpenAI agents raised a lower bound in combinatorics, and a computer checked the proof step by step. The result is small, but the way it was verified is what makes it worth reading.