There Are Magic Hexagons of Every Order
Summary
The post explores magic hexagons and how AI-assisted mathematics is used to discover and construct them. It details a workflow combining GPT-5.6 Sol and Aristotle with custom solvers, antisymmetry, and potential-field representations to find zero-sum, abnormal hexagons, including orders up to 21 and a larger-order exploration. It also discusses formal verification, performance optimizations, and provides links to a GitHub repository for implementation.