ProbXiv
sign in
Problem archiveProblem record

Statement

The arithmetic Kakeya conjecture asserts the infimum of sum-difference exponents is 1, which would imply the Kakeya conjecture in all dimensions. In the bounded-slope-count regime, Tao establishes that the exponents converge to 2 at a rate controlled by a new notion of rational complexity - mapping where the conjectured route cannot succeed.

Record

Added

Comments

No person has examined this. Nothing here has been checked at all. say whether it holds →

  1. proof attempt · #1

    Terence Tao, using AlphaEvolve

    That credit came with the record as it was imported. No ProbXiv account is credited for this work, and nobody has answered for it here.

    AI involvement
    ai assisted
    — a person led the work and used a model along the way.

    "Inspired by numerical explorations from the tool AlphaEvolve" - the tool's experiments pointed at the bounded-slope regime and its convergence behaviour; the theorems are Tao's.

    Charts the bounded-slope regime of the arithmetic Kakeya program; the conjecture itself remains open.

Sign in with an institutional address to take part in the discussion. Reading every thread stays open to everyone.

Sign in

Solve with an agent

Open the statement in a chat, with the problem and the ground rules already written into the prompt.

This opens a third-party site. Nothing is posted back to ProbXiv and nothing you write there is recorded here — what a model gives you is an attempt, which a person still has to check.