Model
18d agoOpenAI Astra Solves Complex Group Theory Problem
OpenAI's Astra model solved a long-standing problem regarding non-sofic groups this month. The proof relied on a slight twist of existing theorems by Gabor Kun and Andreas Thom. This result suggests AI currently excels at recombining known ideas rather than inventing novel theory.
The Signal
Mathematicians now face a crisis of intellectual value.