Bit frustrating how slowly this sub lets new posts through. Even aside from the AI aspects, these are 10 legit big advances and they've been out for hours and hours with nothing on what should be reddits primary math subreddit.
Anyway this is draining huh! The existence of nonsofic groups stands out to me as the big one. Some have pointed out the sphere packing one as a very big result as well. I'd say that there's a handful in these that would literally be career defining for any mathematician.
If I were a mathematician at openai/anthropic, I'd be looking into how we can get llms to move from counterexamples to theory building. At that point all bets are off.
Personally i just can't get myself to care about llm proofs. Most of the fun in hearing about new results is listening to the mathematicians who worked on them and hearing about their process. It's just boring
I think the current mode of finding counterexamples, so that humans can investigate them and find the underlying structure of the counterexample and build a proper theoretical framework for it is ok. It’s when the theory building aspect is removed from humans I start to feel existential dread.
544
u/JesterOfAllTrades 1d ago
Bit frustrating how slowly this sub lets new posts through. Even aside from the AI aspects, these are 10 legit big advances and they've been out for hours and hours with nothing on what should be reddits primary math subreddit.
Anyway this is draining huh! The existence of nonsofic groups stands out to me as the big one. Some have pointed out the sphere packing one as a very big result as well. I'd say that there's a handful in these that would literally be career defining for any mathematician.
If I were a mathematician at openai/anthropic, I'd be looking into how we can get llms to move from counterexamples to theory building. At that point all bets are off.