Quoted By:
The only efficient way to do math involves making good conjectures and proving them. People have been working on proof systems that do this without much human assistance for decades. It's unlikely that anything which blindly composes known arithmetic identities together is going to become much more than a calculator.
