View Single Post
Old 2012-01-30, 04:57   #3
literka
 
literka's Avatar
 
Mar 2010

3008 Posts
Default

Quote:
Originally Posted by Batalov View Post
Kinda makes you wonder if F7 is composite!

But I guess we just have to learn to live with the fact that some things we will never know -- these proofs become increasingly complex. ^_^

But wait!

Code:
Let F7=2128+1=340282366920938463463374607431768211457. 
Let p=59649589127497217. We'll show that p is a factor of F7. 
  340282366920938463463374607431768211457 | 59649589127497217
- 298247945637486085   (5)                | 5704689200685129054721
   420344212834523784
 - 417547123892480519  (7)
     27970889420432656 (0)
     279708894204326563
   - 238598356509988868
      ....................
             ...................
                  ...................
                      ..................
                        59649589127497217
                      - 59649589127497217
                                        0 | OMG!! It divides!

Thank you for a beautiful proof. I will print it and I will hang it in my bedroom. It will always remind me how excellent science may be.
literka is offline   Reply With Quote