That's true, but the story would have unfolded differently if Mochizuki had a lean-verified proof and was correct. I guess baked into my premise is that AI is producing reliable proofs (in the long term at least).
replyAgreed! Although, if done by a mathematician, it's not a ~complete waste. I think the community learns something along the way.
replyIs there an established term for the idea of "DoS"? I've taken to calling it slop fatigue.
Denial of service is the established term. Hammering their API (reviewer committees) would be an informal one
replyOpenAI avoids this by formally verifying the proof.
reply