"There are research efforts to try to create automated conjectures, and maybe there are ways to benchmark these and simulate this, but it's all very new science."