As I mentioned yesterday, I’d like to consider a proposed proof of the Goldbach Conjecture that has garnered some attention, at least some attention from people who ask me about things like the validity of proofs of the Goldbach Conjecture. I like this in particular because it illustrates how I look through some papers (those towards which I’m a bit skeptical) and it illustrates a problem I’ve seen before: switching between interpreting a number as an element of the integers and an element of . *(There is a certain problem with this, in that although I ‘do number theory,’ were the conjecture proved it is almost certain that I would be not at all familiar with the methods of proof)*.

In particular, I’ll be looking at the 19 August 2012 preprint “The Goldbach’s conjecture proved” by Agostino Prastaro (the pdf is here). The rest after the fold –

The Goldbach Conjecture states that every even number greater than can be written as the sum of two primes. It’s classically very well known, especially as it’s very easy to state but still unproven.

I think this will be a good time to pull out our good ol’ Ten Signs a Claimed Mathematical Breakthrough is Wrong from Scott Aaronson’s blog (which we have considered before). Have no fear – this paper passes the biggest ruinors: it’s in TeX and the author understands the problem. And let’s set our expectations by looking at the abstract:

We give a direct proof of the Goldbach’s conjecture in number theory, formulated in the Euler’s form. The proof is also constructive, since it gives a criterion to find two prime numbers , such that their sum gives a fixed even number (A prime number is an integer that can be divided only for itself other than for 1. In this paper we consider 1 as a prime number). The proof is obtained by recasting the problem in the framework of the Commutative Algebra and Algebraic Topology.

Sure, so it tells us what a prime number is and mentions that is considered prime for the purposes of the proof. But it promises to give a constructive proof. Wow – that’s intense. It’s always easier to approach constructive proofs, as you see if the construction holds true on a few cases before muddling through theory. And we expect the proof to come from commutative algebra and algebraic topology.

But after the introduction, the paper quickly goes awry. There are pages and pages of Aaronson’s (8): **The paper wastes a lot of space of standard material**. The first twelve pagesare a summary of bits and pieces from Atiyah-MacDonald’s Commutative Algebra, or Ireland and Rosen’s Introduction to Modern Number Theory (both of which are great books). I need to be honest, though: I did not read the initial 12 pages through once I realized that they were so basic. It is on page 12 that the proof of the Goldbach Conjecture itself takes place. By this time, Aaronson’s (7) becomes apparent:**The paper doesn’t build on (or in some cases even refer to) any previous work.**

I will summarize the proof. He refers to two previous lemmas: one says that if and is coprime with all primes less than , then is a prime; the other says in essence that if generates , then is also a generator. (He has an idea of strong generators, i.e. generators that are primes, but this is not a concept actually necessary in his proof).

The big idea, and the construction behind the constructive proof, is to start by considering $2n = 1 + (2n-1)$, and if that doesn’t work, then try $2 + (2n-2)$, and so on. That is, you just sort of try them all out. That’s disappointing, and nowhere is an actual constructive proof given. But back to the proof:

He claims that increasing in “must necessarily coincide with a prime number after a finite number of steps.” If we go along the such that is always prime, then he claims that there must be a case when is prime, as otherwise we will get to the case when (which, I’ll remind you, is currently considered a prime). He then proceeds to show that this necessarily means that is prime.

Let’s draw special attention to this. The following proof in no way depends on anything previous. It is not based on commutative algebra, algebraic topology, nor any detail other than the fact that (and thus that ). In other words, the following ‘proof’ shows **that every odd number is prime.** This conflicts with Aaronson’s (3) and (4): **The approach seems to yield something much stronger and maybe even false (but the authors never discuss that).**

Back to the proof: If we call for ease of notation, then we are looking at . Taking to be any prime less than , and starting with , the author writes . But then we have as a linear combination of and , meaning that they’re relatively prime. Herein lies the big error: on the one hand, when we’re considering each of these as cosets in the ring $\mathbb{Z}/2n\mathbb{Z}$, each of these inverses is just another coset. But the idea that the gcd is the smallest possible positive result of a linear combination of the numbers involved relies on integers, and absolutely does not work for arbitrary .

So the author went on to say that since is relatively prime to any prime smaller than (he actually restricts to ‘strong prime generators’), and thus concludes that is prime. But alas, it’s not true that every odd number is prime, and this proof doesn’t hold. But the next time I teach number theory and I need an example of something that doesn’t hold in modular arithmetic that does hold in standard arithmetic, I will be ready.

To end, I emailed the author of the paper and mentioned the error, but he hasn’t yet gotten back to me.

Moreover, prof. Prastaro still claim that “More recently A. Prástaro has solved the well known Goldbach’s conjecture in number theory, by recasting this problem in the framework of the algebraic geometry and algebraic topology.”

on his website http://www.dmmm.uniroma1.it/~agostino.prastaro/HOMEPAGEPRAS.htm

[…] tied to the Goldbach Conjecture, as I get far more traffic, emails, and spam concerning my previous post on an erroneous proof of Goldbach than on any other topic I’ve written about. About a year […]

s/Aaronsen/Aaronson/

Thanks – and for what it’s worth I did precisely those commands in my good ol’ editor.