Earlier this month, the A.I. start-up Harmonic said its system, Aristotle, had solved an "Erdos problem" with help from OpenAI’s GPT-5.2 Pro, a development that some researchers described as evidence that A.I. can do academic research. Reactions were mixed. Some mathematicians and A.I.