[david-gpu]

Yeah, I was wondering how can debates like these exist nowadays when formal methods appear to my layman's eyes as the ultimate arbitrer of proof. Is that not how the math community looks at it?