[felipemnoa]

>>It reminds me of a sci-fi story

Could you mention the the name?

[jonnybgood]

Sounds like Diaspora by Greg Egan. If it’s not, Diaspora also has a virtual mine of mathematical proofs that is mined by the citizens, which are virtual “human” entities living in a simulated world.