Pick one:

- solving "frontier" math problems requires intelligence (by human or AI)

- solving "frontier" math problems is dumb statistical prediction of next token (by human or AI)