artificial general intelligence mathematical reasoning