A remark on a recent proof of Lehmer's Conjecture [arXiv:1709.03771]
Francesco Amoroso
TL;DR
This paper discusses a recent claimed proof of Lehmer's Conjecture that was later found to contain errors, highlighting the importance of verifying complex mathematical proofs.
Contribution
It provides a critical commentary on a recent attempted proof of Lehmer's Conjecture, emphasizing the need for careful validation in mathematical research.
Findings
The claimed proof was found to contain at least one fatal error.
The note aims to inform the community about the proof's invalidity.
Highlights the importance of rigorous verification in mathematical proofs.
Abstract
Over one year ago, a very long preprint posted on arXiv [arXiv:1709.03771] and HAL announced a proof of Lehmer's Conjecture (and of other related results). Unfortunately, as was remarked by several specialists, this proof contains a (at least one) fatal error. The aim of this very short note is to inform the mathematical community, which could be aware of this.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Limits and Structures in Graph Theory · Mathematical Dynamics and Fractals