Sorry, in what way was this problem "solved in the competition math community"? I don't really understand your point there.
(To the rest of your comment: I agree that digestion is a problem mathematicians should have paid attention to for some time now, though these mass AI math improvements are a good wake-up call. I do think mathematicians have paid attention when big theorems were left "undigested" for a long time, even before AI; e.g. Freedman's 4-manifold work was not really understood by anyone except Freedman and his close colleagues, so a book ("The... (read more)
I am not a number theorist (I'm a topologist), but it seems like the BSD formula is quite conditional. For instance:
1) the statement needs some "corank 0/1 condition";
2) density 1 is only for the special case of quadratic twists of elliptic curves (and density 1 does not imply full BSD anyways; this statement doesn't treat higher rank ECs at all);
3) in the general case, ChatGPT (5.6 extra-high) says the current results give BSD for 83.75% of elliptic curves ordered by naive height.
Anyways this seems like very significant progress but not close to the full ... (read more)