OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems

Achievement aside, the framing of this and the previous Claude achievement with the Jacobian conjecture don't sit right with me. They make it sound as though there is just some truly automated problem solving process underway at these major labs yielding novel math results on their own without human engagement. The OpenAI post [0] itself on this says "claiming human authorship for a proof generated entirely by an AI system would misrepresent both the system’s contribution and the nature of genuine human intellectual work." That's true only if there was _no_ human prompting involved to yield this result. In the case of the Claude result on the Jacobian conjecture, the employee who obtained the result _is_ a mathematician.

It seems to me that a mathematician is in a much better position than a lay person to construct prompts and engage with an LLM in a way that results in a new mathematical result. If he could work with Claude to obtain the counterexample but I cannot, that highlights the importance of the prompt engineering from the person, and their knowledge to do so. I'd be surprised that he was the first person to ever prod Claude to work on that particular problem.

Since they don't elaborate on the prompts or method that yielded the result, I'm unable to assume it was a fully AI driven approach. From that lens, I find the framing disingenuous.

0)https://openai.com/index/ten-advances-in-mathematics/