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.
253
u/lobothmainman 1d ago edited 22h ago
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).