Researchers have successfully proven the existence of abnormal magic hexagons for all orders greater than three by utilizing advanced AI-driven search algorithms and collaborative mathematical reasoning.

Key Points

• A magic hexagon is a grid where every straight line sums to the same constant, with abnormal versions allowing non-consecutive starting numbers.
• The researcher utilized GPT-5.6 Sol to develop a custom simulated annealing solver, successfully identifying magic hexagons up to order $n=21$.
• By leveraging AI for iterative hypothesis testing and construction, the team established a deterministic algorithm for all orders $n>3$.
• The final construction was refined to remove previous divisibility constraints, lowering the theoretical proof threshold to $n=114$.
• The project highlights the evolving role of AI in mathematics, shifting from a simple computational tool to an active participant in creative proof generation.

Why it Matters

This breakthrough demonstrates how AI-human collaboration can solve long-standing combinatorial problems that were previously considered computationally intractable. It underscores a shift in mathematical research where AI agents generate complex proofs faster than humans can verify them, highlighting the growing necessity for machine-verifiable systems like Lean.