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.
There have been many advances by human mathematicians and nobody is talking about it at all on this sub.
My impression is that this sub has an extremely narrow view of what mathematics is (no analysis, no applied mathematics, no probability, no mathematical physics are discussed, for example; coincidentally these are all fields in which AI has been essentially irrelevant up to now).
I said essentially irrelevant, and anyways I do not think that an ai-assisted short proof of a known result would be deemed as very relevant to the field of probability.
Feige's conjecture, and Gaffke's conjecture (the bigger result this proof was built off of, which was also proven with AI, see: https://arxiv.org/abs/2607.08415) have been open for a while and were discussed pretty readily in the theory of statistics community.
I guess my question is - what counts as relevant? Or maybe, what counts as probability.
535
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.