OpenAI’s Astra Is Claimed to Solve Non-Sofic Groups Problem, Raising Stakes for Human Mathematicians

Henry Bradford, a fellow of mathematics at the University of Cambridge, says OpenAI’s Astra model solved the existence problem for non-sofic groups earlier this month. His claim turns a group-theory result into a question about whether mathematics is valued for producing theorems or cultivating human understanding.

Bradford describes the non-sofic-groups question as a key problem in his field of group theory. In his published letter, he characterizes Astra’s proof as largely a slight twist on theorems by Gabor Kun and Andreas Thom, rather than an entirely new body of theory.

Where the claimed advance sits

That lineage is central to Bradford’s reading of current AI mathematics. He says recent breakthroughs have been clever recombinations of existing ideas, not genuinely novel theory. But he also says an AI capable of this kind of result would have seemed incredible only months ago, and that it would be foolhardy to bet against superhuman mathematical capability in the coming years.

what they really want is usually not some collection of ‘answers’ – what they want is understanding

William Thurston, in his 1994 essay, as quoted by Henry Bradford

The work beyond a theorem

Bradford uses mathematician William Thurston’s 1994 essay to make a distinction between an answer and the discipline that produces it. On Bradford’s account, new theorems mark progress, but mathematics also consists of ideas living in human minds: people learning them, sharing them and extending them.

• Future AI may prove new theorems better than people, Bradford argues.
• The separate human task is preserving and furthering mathematical knowledge among people.

A university’s measure of value

The immediate consequence Bradford worries about is institutional. If AI can generate research papers faster and more cheaply than people, he argues, administrators at cash-strapped universities may treat mathematicians as superfluous when paper output becomes the dominant measure. Bradford’s conclusion is not that this outcome is inevitable. He argues that mathematics’ future will depend on a collective choice about what society values in human intellect.