AI Mathematics

This work is heavily AI assisted mathematics. The papers detailing the results are available in the Github Repos provided.

Results (Reverse chronological)

3. Linnik's Constant is at most 3.99

• Github: enaslund/linniks-constant-3.99

• Palomar: PALOMAR-2026-10-01-000020 v1

• Hexagon: 2610.00018v1

• Optimization Constant 65a

2. An Exponent of 1.043 for the Unit Distance Problem

• Github: enaslund/unit-distance-bound-0.0427 

• Palomar: PALOMAR-2026-10-01-000018 v2 

• Hexagon pdf: 2610.00016v2

• Optimization Constant 84a

1.  A Lower Bound Exponent of 0.758 for the Furstenberg-Sarkozy Theorem 

• Github: enaslund/sarkozy-lower-bound-0.758

• Palomar: PALOMAR-2026-09-19-000006 v2

• Hexagon: 2610.00151v1

• Optimization Constant 4b