Settling the Optimal Exponent Relating Sumsets and Difference Sets
- Published
- Source
- arXiv
- Paper number
- 758
- Field
- Research
- arXiv ID
- 2607.27199
Key points
- It is the first proof that the optimal universal exponent relating sumsets and difference sets is exactly 2.
- An AI agent, Hyra, discovered the key structure through 24 hours of autonomous search, and a human then verified it rigorously in mathematics.
- It also provides a Lean 4 formal proof, which makes the result machine-checkable.
- The core construction combines base-12 digit techniques, a three-state carry automaton, and the Chinese remainder theorem.
Paper links
External research summaries. These are not HDATF publications or measured product results.