I’d say it’s understanding in general. We currently have zero evidence the AI models can understand mathematical breakthroughs in a productive way. (When they intuit a new technology or theory from a mathematical construct, we’ll be along that way.)