Model2h ago
OpenAI 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. Mathematicians now face a crisis of intellectual value.