Grok3 solved what 500 top math genius couldn't

01234567