At 07:13 PM 1999/06/02 +0100, [EMAIL PROTECTED] wrote:
>Presumably a statement of fact in a news column in, e.g., "Nature"
>is sufficient, rather than a full-blown paper. For that, all that would
>appear to be needed is the number, the names of the discovery
>and verification teams, dates and possibly some brief details of the
>hardware & software used.
The EFF requires that they approve the specific publication and referee
process; see section 4F of
http://www.eff.org/coop-awards/award-prime-rules.html
(and may perform verification themselves also).
"We strongly recommend that you submit your paper to the Mathematics of
Computation." EFF also requires publication prior to submission for the
prize.
The AMS site says they are backlogged 3 issues as of May 31.
And it's a quarterly even in electronic form, according to
http://www.ams.org/cgi-bin/bookstore/bookpromo.pl?fn=20&arg1=mcom&item=99MCOME
>George - is DS doing the verification run again - or is this also
>"restricted information" at the moment?
>Regards
>Brian Beesley
Presumably the practice of simultaneously notifying all past discoverers
of mersenne primes, and then multiply double-checking the result has been
used.
It would be no big deal to double-check p~6,000,000 since p~7,300,000 is
under 3 weeks on a PII-400, and PIII-550's are on the market.
Of course you know that already, Brian, having Alpha's that could do it
easily.
Ken
Here's what George said some time back. Also, verification is done on a
program and typically a processor architecture different than the discovery.
>Return-Path: [EMAIL PROTECTED]
>X-Authentication-Warning: acid.base.com: majordomo set sender to
owner-mersenne using -f
>X-Sender: [EMAIL PROTECTED]
>Date: Thu, 29 Jan 1998 14:08:55 -0500
>To: [EMAIL PROTECTED]
>From: George Woltman <[EMAIL PROTECTED]>
>Subject: Mersenne: Re: Announcement Policy
>Cc: Scott Kurowski <[EMAIL PROTECTED]>
>Sender: [EMAIL PROTECTED]
>
>Hi,
>
>The results of my informal, non-scientific survey are as such:
>
>5 voted for keeping a new prime secret until verified.
>3 voted for full disclosure.
>15 voted to announce as unverfied, but keep the actual exponent secret.
>
>It looks like the middle-of-the-roaders win.
>
>So here is my proposed future announcement plans:
>
>1) When a new prime is reported, the primnet server will email all
>previous Mersenne Prime discoverers as well as Chris Caldwell and
>Richard Crandall. This essentially stakes GIMPS claim.
>
>2) I will download the server log files and see if the verification
>code from the results file is correct. Someone will need to crack the
>server's security codes and prime95's security code to falsely get our
>hopes up. Hopefully hackers have better things to do with their time.
>
>3) I will email this mailing list with the news and a rough idea of where
>the exponent is. The server's statistics page will show one unverified prime
>reported. I will keep the actual discoverer's name secret until
>the prime is verified.
>
>4) We all wait together for the verification.
>
>Best regards,
>George
________________________________________________________________
Unsubscribe & list info -- http://www.scruz.net/~luke/signup.htm
