Kann KI Derive the Formula for Kinetic Energy?