OpenAI reports a tensor classification of finite Euclidean Ramsey sets

A finite Euclidean configuration is Ramsey for monochromatic congruent copies at its original scale exactly when its coordinate field admits the paper’s rational-tensor matrix satisfying the pointwise evaluation identities and identity-matrix product identities; the criterion covers every affine dimension.

Curated contributions 1

Understand the problem ↓

OpenAI reports a tensor classification of finite Euclidean Ramsey sets

  • Mathematics

A finite Euclidean configuration is Ramsey for monochromatic congruent copies at its original scale exactly when its coordinate field admits the paper’s rational-tensor matrix satisfying the pointwise evaluation identities and identity-matrix product identities; the criterion covers every affine dimension.

AI involvementAI-led
ImportanceMajor
Technical verificationFormal (Lean 4)
Human understandingFew

Understanding the problem

Read the background

A finite Euclidean configuration is Ramsey for monochromatic congruent copies at its original scale exactly when its coordinate field admits the paper’s rational-tensor matrix satisfying the pointwise evaluation identities and identity-matrix product identities; the criterion covers every affine dimension.

Why it matters

If correct, supplies a necessary-and-sufficient algebraic test for every finite Euclidean Ramsey configuration.

What counts as progress

Which finite Euclidean point sets are Ramsey at their original scale?

Website timeline

Publication dates and editorial changes.