> Existence problems are not optimisation problems
Several of the problems were existence problems, such as finding geometric constructions.
> It needs an optimisation function that can be incrementally improved in order to work towards an optimal result, not a binary yes/no.
This is not correct. The evaluation function is arbitrary. To quote the AlphaEvolve paper:
> or example, when wishing to find largest possible graphs satisfying a given property, ℎ invokes the evolved code to generate a graph, checks whether the property holds, and then simply returns the size of the graph as the score. In more complicated cases, the function ℎ might involve performing an evolved search algorithm, or training and evaluating a machine learning model
The evaluation function is a black box that outputs metrics. The feedback that you've constructed a graph of size K with some property does not tell you what you need to do to construct a graph of size K + M with the same property.
> a research mathematician is not trapped in a loop, mutating candidates for an evolutionary optimiser loop like the LLM is in AlphaEvolve.
Yes they are in a loop called the scientific method or the research loop. They try things out and check them. This is a basic condition of anything that does research.
> They have the agency to decide what questions to explore
This is unrelated to the question of whether LLMs can solve novel problems
> most of which (as the article says) can be approached using traditional optimisation techniques with similar results.
This is a mischaracterization. The article says that an expert human working with an optimizer might achieve similar results. In practice that's how research is done by humans as I mentioned above: it is human plus computer program. The novelty here is that the LLM replaces the human expert.