I haven't watched the full video yet, but it looks like he's doing something like symbolic regression. You search a space of predefined functions for a good fit to data. The method has been around for a while.