Can AI derive the formula for kinetic energy?