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

[github-actions]

The status of Erdős problem 845 appears to have changed.

• This repo: solved (in FormalConjectures/ErdosProblems/845.lean)
• erdosproblems.com: formally solved

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