Not sure if MathOverflow is still a place to discuss such things, but I'll give it a try. Tell me an alternative site, in case it is wrong here. I translated a representation-theory/combinatorial problem into pure combinatorics and solved small cases with the computer. The computer gave me very interesting results. I planned to make a paper out of it but unfortunately, I can't prove much (I feel like a paper should contain at least some interesting proofs and not only computer results). While I'm no combinatorist, I consider the problems to be very hard even for combinatorists. I feel like my part was to translate the problem and make some conjectures, but I'll need help for the proofs. The question is now what to do with that. I see at least 2 options:

Ask several people via mail for help. Usually I don't have success with that when the problem appears to be hard and people have to spend a lot of time. Also I'm not sure who to ask since I don't know many algebraic combinatorists.

Try to post it on a forum like MathOverflow, where many people can help (there are also many results to prove). But I'm not sure if that's a good way to make a paper out of it (I don't mind many people working on it, since this is more of a hobby outside my main research). On the other side, this would be a fun thing to do and one might also see quick results.

Are there other options and what to prefer? Can something bad happen at 2., which I didn't think of?