Erdős Problem 997: status mismatch (repo=open, erdosproblems.com=solved)

[github-actions]

The status of [Erdős problem 997]appears to have changed.

• This repo: open (in FormalConjectures/ErdosProblems/997.lean)
• erdosproblems.com/997: solved

Please verify and update the @[category research ...] annotation if appropriate.