Imagine we discover an alien spaceship, and inside it, a codex. Decyphering the codex tells us a bunch of solutions to alien mathematics, which is remarkably similar to ours and has compatible foundations, but way more convoluted in the actual thought process. The codex would contain proofs of some statements equivalent to open statements today.

Would you, in this situation, be mad at the aliens? Would you say the aliens have "extracted value"? This is kind of how I see this project.