Story perspectives

OpenAI’s Astra Solves Non-Sofic Groups Problem

8/28/2026

Summary

Story summary

OpenAI’s Astra model solved the existence of non-sofic groups problem in group theory this month.
The proof heavily twisted theorems of mathematicians Gabor Kun and Andreas Thom.
Kasra Rafi and security expert Bruce Schneier say AI breakthroughs recombine existing ideas rather than create new theory.
Cambridge Fellow Dr Henry Bradford warns cash-strapped universities may deem human mathematicians superfluous if AI produces papers faster and cheaper.

1 of 1

Story summary

OpenAI’s Astra model solved the existence of non-sofic groups problem in group theory this month.
The proof heavily twisted theorems of mathematicians Gabor Kun and Andreas Thom.
Kasra Rafi and security expert Bruce Schneier say AI breakthroughs recombine existing ideas rather than create new theory.
Cambridge Fellow Dr Henry Bradford warns cash-strapped universities may deem human mathematicians superfluous if AI produces papers faster and cheaper.