That would require AI to be accurate

It wouldn't require perfect accuracy, just rough accuracy and a human to confirm, and it's already more than good enough for that. I do not understand this confusion surrounding modern math.