Pick one: - solving "frontier" math problems requires intelligence (by human or AI) - solving "frontier" math problems is dumb statistical prediction of next

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)