La IA Grok de Elon Musk está mejorando en matemáticas