When the paper The unification of Mathematics via Topos Theory by Olivia Caramello, says "one can generate a huge number of new results in any mathematical field without any creative effort." is this an exaggeration, and if not is this a new idea or has it always been thought that topos theory could enable automatic generation of theorems.

In her paper The unification of Mathematics via Topos Theory, Olivia Caramello says "one can generate a huge number of new results in any mathematical field without any creative effort". Is this an exaggeration, and if not is this a new idea or has it always been thought that topos theory could enable automatic generation of theorems ?