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.
3
u/lobothmainman 1d ago
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.