Grok3 solved what 500 top math genius couldn't

0