> Are you expecting for someone to test all the currently known tricks on a BabyAGI-like setup to know if that's enough to achieve your task?

That's right. I mean proving in the sense talked about in this HN comment https://news.ycombinator.com/item?id=36083070, not in the sense of a mathematical proof.