Advances in reasoning will lead to substantially improved capabilities in mathematics and science