Michael Rao's 2017 arXiv preprint claims to complete the classification of convex pentagons that tile the plane at fifteen types. Its strength is that it is a serious mathematical proof by a working researcher, building on decades of prior classification work. Its limit is that the proof depends on an extensive computer search whose full verification by other mathematicians was, at the time this record was checked, still only partly complete, which is why the atlas notes the claim rather than treating it as settled beyond question.
Facts
Citation
AuthorMichael Rao
PublisherarXiv
arXiv:1708.00274, submitted 1 August 2017. Matches this entry's own note that the computer proof is "only partly independently verified": this is the preprint the citing claim describes, not a peer-reviewed journal version. Publication Year2017
Source Typepreprint, not peer-reviewed
Assessment
Reliability Tier1
Reliability tier 1: a serious mathematical proof by a working researcher building on decades of prior work, whose full verification by other mathematicians was still only partly complete at the time this record was checked. NotesCompletes the classification at 15 types. The computer-assisted proof has been checked only in part by independent parties, a limit worth naming rather than glossing over.
Claims Backed By This Source (8 claims)
This source backs 8 claims across the atlas. As facts: 7 well-attested. Plus 1 entities citing it as a general reference with no single fact or relationship attached.
Disposition By Topic
- Sources, 7 claims: 7 well-attested.
- Sacred Geometry, 1 claims: 1 general references.
Reader Challenges (0 open reader challenges)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.
View At A Past Year
The atlas records no dated fact of its own for this entry, so there is no other year to choose.