In the 2024 Putnam Competition, none of the top 504 contestants earned full marks on Problem A6.
In February 2025, Grok 3 was reported to have solved it in eight minutes.
But its response checked a few cases and inferred a general formula without proving it.
Finding a pattern is not the same as proving a theorem.