Skip to main content
MathOverflow

Return to Question

added 357 characters in body
Source Link
VS.
VS.
  • 1.8k
  • 1
  • 10
  • 25

Is it technically possible to check formidable proofs like Mochizuki's using PCP theorem before mathematicians spend time in understanding the mechanics of the proof? If so why have mathematicians not done that as this would have saved time and money let alone being distracted on something that might not yield new insights. Will this paradigm of checking before understanding ever stand in mathematics collectively?

Note this is not just to check IUT. Prior almost famous mistake What is the mistake in the proof of the Homotopy hypothesis by Kapranov and Voevodsky? before Vladimir Voevodsky was convinced of usefulness of proof checkers. There are several important examples and so why are the comments and answers focussed on IUT (I say 'check formidable proofs $\underline{like}$ Mochizuki's'?

Is it technically possible to check formidable proofs like Mochizuki's using PCP theorem before mathematicians spend time in understanding the mechanics of the proof? If so why have mathematicians not done that as this would have saved time and money let alone being distracted on something that might not yield new insights. Will this paradigm of checking before understanding ever stand in mathematics collectively?

Is it technically possible to check formidable proofs like Mochizuki's using PCP theorem before mathematicians spend time in understanding the mechanics of the proof? If so why have mathematicians not done that as this would have saved time and money let alone being distracted on something that might not yield new insights. Will this paradigm of checking before understanding ever stand in mathematics collectively?

Note this is not just to check IUT. Prior almost famous mistake What is the mistake in the proof of the Homotopy hypothesis by Kapranov and Voevodsky? before Vladimir Voevodsky was convinced of usefulness of proof checkers. There are several important examples and so why are the comments and answers focussed on IUT (I say 'check formidable proofs $\underline{like}$ Mochizuki's'?

Post Closed as "Not suitable for this site" by LSpice, R.P., Emil Jeřábek, Adam P. Goucher, Alex M.
Source Link
VS.
VS.
  • 1.8k
  • 1
  • 10
  • 25

PCP theorem to check hard proofs

Is it technically possible to check formidable proofs like Mochizuki's using PCP theorem before mathematicians spend time in understanding the mechanics of the proof? If so why have mathematicians not done that as this would have saved time and money let alone being distracted on something that might not yield new insights. Will this paradigm of checking before understanding ever stand in mathematics collectively?