Equations that pop out of a computer screen while artificial intelligence look at them