William McCune proved the conjecture in 1996, using the automated theorem prover EQP.
Marty Robbins | Tim Robbins | Tom Robbins | algebra | Royal Robbins | Trina Robbins | Tony Robbins | Thomas Robbins | Baskin-Robbins | Algebra | Thomas Robbins (sociologist) | Lie algebra | linear algebra | J. Robbins | Harold Robbins | Abstract algebra | Linear Algebra | Todd Robbins | Ted Robbins | Pete Robbins | Lie Algebra | Hopf algebra | Clifford algebra | Al Robbins | Wendy Robbins | Warren M. Robbins | Virasoro algebra | Michael Robbins | Glenn Robbins | Clifford Algebra |