Consider Greg Egan : Diaspora. It's a sci fi novel In it there's something called "The Science Mines". In the Science Mines a researcher (An AI person) explor

Consider Greg Egan : Diaspora. It's a sci fi novel In it there's something called "The Science Mines". In the Science Mines a researcher (An AI person) explores paths of logic and conjecture, tunneling into the raw earth of "all possibilities". Discovering patterns, theorems. We have invented The Science Mines.