Hasn’t this been the case for human-made proofs too?
For example, Andrew Wiles’s famous proof touched a number of different, barely-related mathematical fields that no single person could allegedly peer-review it on their own. That was in the 1990s.
For example, Andrew Wiles’s famous proof touched a number of different, barely-related mathematical fields that no single person could allegedly peer-review it on their own. That was in the 1990s.
Math is getting very specialized it's true, and I think that's part of the motivation to use AI. The specialization is itself a bit of a problem, so AI is simultaneously exposing that and hiding it under another layer of abstraction.