Has the Riemann hypothesis been proven?

In summary, there are rumors that Sir Atiyah has claimed to have proof of the Riemann hypothesis, which he will present at a talk next week. However, there has been little buzz about this and some are skeptical due to Sir Atiyah's age and the sensational nature of the claim. The talk will be livestreamed and if the proof is correct, it could have a significant impact on mathematics. There are also discussions about previous failed attempts to prove the Riemann hypothesis.
  • #71
I have finished reading the paper for the third time and in doing so I have noticed a very curious coincidence: at the end of one of my earlier posts in this thread, post #47, I linked to a biographical memoir written by Atiyah about Hermann Weyl I had come across a few years ago when I was reading up on Weyl. In it, on page 328, Atiyah says the following about Weyl:
Michael Atiyah said:
Weyl was a strong believer in the overall unity of mathematics, not only across sub-disciplines but also across generations. For him the best of the past was not forgotten, but was subsumed and refined by the mathematics of the present. His book The Classical Groups was written to bring out this historical continuity. He had been criticized in his work on representation theory for ignoring the great classical subject of invariant theory that had so preoccupied algebraists in the nineteenth century. The search for invariants, algebraic formulae that had an intrinsic geometric meaning, had ground to a halt when David Hilbert as a young man had proved that there was always a finite set of basic invariants. Weyl as a disciple of Hilbert viewed this as killing the subject as traditionally understood. On the other hand he wanted to show how classical invariant theory should now be viewed in the light of modern algebra. The Classical Groups is his answer, where he skilfully combines old and new in a rich texture that has to be read and re-read many times. It is not a linear book with a beginning, middle, and end. It is more like an elaborate painting that has to be studied from different angles and in different lights. It is the despair of the student and the delight of the professor.
These ideas of the unity of mathematics,
historical continuity and especially the non-linear nature of a text which has to be read and reread again many times in order to be properly understood seem to be eerily reflected in the way Atiyah's preprint 'The Fine Structure Constant' was written; on the face of it, the numbered paragraph format is also somewhat reminiscent of Wittgenstein's Tractatus Logico-Philosophicus.

Did Atiyah write the paper this way on purpose, knowing it would probably only be understandable by the older readers? As I have argued in my earlier posts including #68 in this thread, much of the controversy seems to stem from the way this paper is written. I haven't tracked down Weyl's book yet, so this remains speculation. In either case, more and more, it seems to be the case that emulating this style was exactly his intent.

For example, in my first and second reading of the paper, both times I thought his remarks about the Axiom of Choice in 6.6 were clearly erroneous and that he was confusing the axiom with the school of Brouwerian intuitionism and its rejection of the law of the excluded middle; upon my third reading however I decided to read up on the historical matter regarding the axiom of choice a bit more and learned that I just wasn't aware that the law of the excluded middle is directly derivable from the axiom of choice. In other words, during a third careful reread I realized it was in fact I who was mistaken about something based on my prior knowledge of some fact being incomplete and therefore incorrect, while he was correct all along!

As for the faulty equations, especially 1.1 and possibly 7.1 as well, it seems very clear that these bits were written later than the other parts of the text as they seemingly come from thin air. With regard to 7.1, where does this equation come from exactly if not derived from the equations in section 8? I'm beginning to fear that these bits were written (much) later than most of the other parts, perhaps after his wife had already passed or after his cognitive decline had begun/worsened, and that perhaps there are even mistakes lurking in 7.1 which are extremely difficult to even identify, let alone correct without explicitly rederiving such an expression based on the equations in section 8.
mathman said:
https://news.ycombinator.com/item?id=18054890

Above is a comment on his "proof".
Regarding the third comment there, quoted here for convenience here:
m00n said:
No, it is not "well written". I'm no expert in analytic number theory, but here are some sanity checks:
His definition of the critical strip (2.4) is wrong.

He works with some family of polynomial functions who agree on the sets K[a] that have open interior (2.1). Of course, two polynomials that agree on infinitely many points are identical. So there really is not much to his "Todd-function". It is just a polynomial.

From his claims 2.3 and 2.4 then follows T(n)=n, for all natural n and hence T(s)=s, as T is a polynomial.

What does "T is compatible with any analytic formula" in (2.4) even mean? Does it mean "for f(X) a everywhere converging power series, then T(f(s))=f(T(s)), for s in C"? This can only hold for T(s)=s, again. So maybe it means something else? He applies it to f(X)=Im(X-1/2), which is not a power series, so what does he mean?

The Hirzebruch reference is a 250pp book. The paragraph on Todd-Polynomials (which are a family of multivariate polynomials, btw. There is no "Todd-polynomial" T in Hirzebruch!) does not contain a formula as claimed in (2.6).

Considering the last two breakthrough claims, that Atiyah made (no complex S^6 sphere and a new proof of Feit-Thompson) vanished in thin air, I remain more than sceptical that this "preprint" can be salvaged.
Most of these points are actually rebutted by Lipton & Regan to which @martinbn linked to in post #62. Here again we see that professionals and experts have a very different grasp of matters compared to non-experts.

Moreover, I tracked down Hirzebruch's book which was referenced in the paper, in particular chapter 3. This chapter is a mere 23pp read instead of 250pp. I will see what can be found in it. If anyone wants a link to the chapter I will provide it.
 
Last edited:
  • Like
Likes Somali_Physicist and nrqed
Mathematics news on Phys.org
  • #72
The first comment suggested that being 89 years old makes Sir Atiyah's claim less credible. I would like to believe that one's math insights steadily improve and that while age may slow the brain, it does not make one less insightful.
 
  • #73
I have no idea what you are saying, sorry. <edit: post this refers to removed>
 
Last edited by a moderator:
  • #74
mfb said:
I have no idea what you are saying, sorry.
Sounds like the noumenon/phenomenon distinction... I can see how the noumenon/phenomenon distinction might directly apply to bare and dressed electrons for example.

W.r.t. this thread itself however where we are talking about mathematical proof of the RH, I'd say he is attempting to say something more along the lines that mathematical structures already exist Platonically prior to their proof, i.e. it has eternally existed and will do so whether we discover it or not, just like all other extant mathematical objects.

Once such an object has been fully grasped within someones mind for the first time, that is already all the demonstration/'proof' that is necessary in his opinion. In other words, he is probably a mathematical Platonist and advocating Platonism as opposed to formalism, which has been the standard in the mathematics community since Hilbert.
 
  • #75
Auto-Didact said:
Most of these points are actually rebutted by Lipton & Regan to which @martinbn linked to in post #62. Here again we see that professionals and experts have a very different grasp of matters compared to non-experts.

Moreover, I tracked down Hirzebruch's book which was referenced in the paper, in particular chapter 3. This chapter is a mere 23pp read instead of 250pp. I will see what can be found in it. If anyone wants a link to the chapter I will provide it.
In contrast to the quoted thread in post #61, Hirzebruch explains in full detail in chapter 1 (§1. Multiplicative sequences) what the Todd polynomials are. Chapter 3 goes on to expand enormously on these matters in full generality.

The first two formulae appearing on page 13 of Atiyah's paper "The Fine Structure Constant" are exact citations from Hirzebruch's book; in fact, everything stated in this paper about the Todd polynomials, Bernoulli polynormials and their generating functions can be directly traced back to this book.

It surprises me that no one seems to have taken the time to confirm this. Hirzebruch's book is actually pretty good.
 

Similar threads

Replies
2
Views
1K
Replies
10
Views
1K
Replies
4
Views
3K
  • Beyond the Standard Models
2
Replies
41
Views
12K
  • General Math
Replies
2
Views
3K
  • Linear and Abstract Algebra
Replies
15
Views
7K
  • Linear and Abstract Algebra
Replies
4
Views
7K
  • General Discussion
Replies
6
Views
874
  • Special and General Relativity
Replies
24
Views
5K
  • Computing and Technology
Replies
4
Views
1K
Back
Top