OpenAI's Astra proves non-sofic groups exist, raising questions for mathematicians
OpenAI's Astra model has solved a huge mystery in group theory, proving non-sofic groups exist.
This was something Bradford would have found incredible a few months ago, and it shows just how quickly AI is catching up in advanced math.
The breakthrough builds on earlier work by Gabor Kun and Andreas Thom, but it's also making people wonder: what does this mean for the future of human mathematicians?
Cambridge's Bradford calls mathematics collective endeavor
Dr. Henry Bradford from Cambridge says Astra's win is impressive but brings tough questions.
He points out that math isn't just about getting answers, it's about sharing ideas and understanding together.
As Dr. Bradford puts it, "Whether mathematics thrives or perishes in the age of AI is not merely a technical question about the capabilities of future machine intelligences. It is a collective decision that society makes about what it is in the human intellect that we choose to value."
With AI moving fast, he worries universities might start seeing human researchers as less essential unless we remember what makes people irreplaceable in discovery.