09:57
2026-09-20
news.ycombinator.com
artificial-intelligence
Joe Shipman proves marked ruler and compass solves the general quintic
Joe Shipman announced on the FOM mailing list that he proved a marked ruler and compass construction solves the general quintic equation, a problem he often discussed with John Horton Conway. Shipman …