|
2020-11-01, 04:59
|
#1 |
"Mihai Preda"
Apr 2015
3×457 Posts |
Bad proofs in v7.1
It seems something is broken with the proof generation, probably concerning Proof v2 (v7.1).
I'm investigating. In the meantime please double-check the generated proofs if using v7.1 with -verify before uploading them. I'll update here when I know more. |
|
|
|
2020-11-01, 06:23
|
#2 | |
|
"Mihai Preda"
Apr 2015
3·457 Posts |
Quote:
Please don't generate proofs with v7.1 -- upgrade to v7.2 if you were using 7.1 before. The bug was affecting only proofs generated with self-verify enabled (ironically..) |
|
|
|
|
 |
| Thread Tools | |
Similar Threads
|
||||
| Thread | Thread Starter | Forum | Replies | Last Post |
| Leyland Primes: ECPP proofs | Batalov | XYYXF Project | 17 | 2021-07-12 20:05 |
| Share N+/-1 Primality Proofs | wblipp | FactorDB | 427 | 2020-11-29 16:52 |
| Avoidance of self- & other-deception in proofs | cheesehead | Soap Box | 71 | 2010-01-14 09:04 |
| Status of GIMPS proofs | Brian-E | Information & Answers | 7 | 2007-08-02 23:15 |
| Collection of Proofs? | Orgasmic Troll | Math | 1 | 2004-12-30 15:10 |
