Tait conjectures
The Tait conjectures are three conjectures made by 19th-century mathematician Peter Guthrie Tait in his study of knots. The Tait conjectures involve concepts in knot theory such as alternating knots, chirality, and writhe. All of the Tait conjectures have been solved, the most recent being the Tait flyping conjecture proven in 1991 by Morwen Thistlethwaite and William Menasco.
Background
Tait came up with his conjectures after his attempt to tabulate all knots in the late 19th century. As a founder of the field of knot theory, his work lacks a mathematically rigorous framework, and it is unclear whether the conjectures apply to all knots, or just to alternating knots. Most of them are only true for alternating knots. In the Tait conjectures, a knot diagram is reduced if all the isthmi (nugatory crossings) have been removed.
Crossing number of alternating knots
Tait conjectured that in certain circumstances, crossing number was a knot invariant, specifically:
In other words, the crossing number of a reduced, alternating link is an invariant of the knot. This conjecture was proven by Morwen Thistlethwaite, Louis Kauffman and K. Murasugi in 1987, using the Jones polynomial.