Re:Why the Legendary Erdős Problems Are Falling to AI
by mrkandel on Friday August 07, 2026 @08:01AM
(#49209093)
Sofic groups are a pretty big things in group theory. Its the big project of one of one of our researchers.
I have no idea what it's about because im not in algebra but the algebraists say its a big thing.
Not much, they're all fairly minor problems that have been solved, of ~entirely niche academic interest. It's so far more just that AI _can_ solve novel math problems, ones that humans didn't accidentally train the answer in and it just spit it back out.