The proposed role of new representations in AI’s open-math results

The user argues that AI’s open-math results come less from solving problems directly than from moving a problem setting from one area into another. In that setting, AI designs an artifact to meet multiple constraints, which the user says gives it a way to check its progress. They say they found no examples of AI inventing an entirely new problem setting.