I agree with Rich here; I'm not sure I see the problem. Suppose somebody conjectures that some predicate P is true of all positive integers, and manages to prove P(n) for n > 6 x 10^54. Then somebody betters the bound to n > 2 x 10^41. Then a third person throws half the Amazon Cloud at the problem for six months and announces that they have checked P(n) for all n up to that bound. Is the conjecture not proven yet? What would it take? On Fri, May 27, 2016 at 6:29 PM, <rcs@xmission.com> wrote:
The Lucas-Lehmer test that M74207281 is prime requires 74M steps. Writing down the remainders of the X2-2 (mod P) iteration, at 22M digits each, would take 1.6Q characters. If we included the arithmetic to confirm each squaring step, another factor of 22M, we have 35 sextillion characters. We could reduce this a lot with Karatsuba or FFT multiplication, but we're still at 1.6Q * log2(74M) ~= 40 quadrillion characters.
Is this any different from the 200T problem?
Rich
--------------
Quoting Eric Angelini <Eric.Angelini@kntv.be>:
http://www.nature.com/news/two-hundred-terabyte-maths-proof-is-largest-ever-...
à+ É. Catapulté de mon aPhone
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun