Could you give a concrete example or two of what exactly this system does? Like, what's a scientific result or two it has formally mathematically proved?