I don’t personally think Anon knew exactly what he was trying to prove (otherwise he would have published the proof already), but it is definitely true that the problem was posted on a forum that specifically catered to people with the kinds of skillsets that would be capable of solving these problems. Most likely Anon probably just saw this as a simple math challenge without any deeper meaning