SEVENSA / RESEARCH INTELLIGENCEINDEPENDENT EDITORIAL ATLAS

OpenAI · Research monitor

Editorial summaries of third-party claims. We do not independently certify mathematical proofs or represent OpenAI or Anthropic.

Explained dossiers

01OpenAI
Local smoothing ⇒ Kakeya + restriction

Local smoothing, Kakeya and restriction

Imagine moving a very thin needle in every direction while using almost no space. The Kakeya conjecture asks how small such a set can be. An OpenAI system reports a route to resolving this and related questions about waves.

Under independent review↗
02OpenAI
ETH: 3-SAT ∉ 2^o(n) claimed false

A challenge to the Exponential Time Hypothesis

Some puzzles seem to get overwhelmingly harder as they grow. A new AI-generated argument claims that a famous prediction about how quickly this happens is wrong.

Under independent review↗
03OpenAI
∂ₜu + (u·∇)u = −∇p + νΔu + f

Can smooth fluid flow become singular?

Picture a whirlpool spinning ever faster into an increasingly tiny region. Can the equations describing water or air become infinitely intense from a smooth start? OpenAI says its model constructed such an example.

Formal proof reported↗
04OpenAI
Quantum complexity

Does repeating a quantum game make cheating harder?

Testing a strategy once leaves room for luck. Repeating the test should reduce the chance of passing every round. Quantum players may share entanglement, so proving the expected improvement requires special care.

Formal proof reported↗
05OpenAI
Complexity theory

How hard is it to compute the permanent?

The determinant is a familiar way to combine a square matrix. Its cousin, the permanent, sums similar products without alternating signs. That small-looking change leads to a very different computational problem.

Formal proof reported↗
06OpenAI
Group theory

Can every group be approximated by finite permutations?

A group describes reversible operations and how they combine. One way to understand an infinite group is to imitate small portions using permutations of a finite set. Soficity asks whether increasingly accurate imitations of this kind are always possible.

Formal proof reported↗
07OpenAI
Extremal combinatorics

How long can colors hide a monochromatic triangle?

Connect every pair of people and give each connection a color. How large can the group become before some three people have all three connections in the same color?

Formal proof reported↗
08OpenAI
Discrete geometry

How tightly can spheres fill high-dimensional space?

Packing identical oranges is familiar in three dimensions. Replace the room by a space with many independent coordinates and the same question becomes much harder: how much of the space can disjoint equal balls occupy?

Formal proof reported↗
11OpenAI
Operator algebras

Does an operator algebra remember the group behind it?

Imagine turning a structure into a complicated measuring device. Can you reconstruct the original structure from that device alone, or can different originals produce indistinguishable devices? This is the intuition behind a rigidity question.

Formal proof reported↗
12OpenAI
Lattice algorithms

How close can we get to the nearest lattice point?

Picture a regular grid extended into many dimensions. Given a point between grid points, finding the closest grid point is easy to describe but can be computationally difficult. Even an approximately nearest point may be hard to find.

Formal proof reported↗
13OpenAI
Coding theory

How much information can a robust code contain?

A communication system adds redundancy so a damaged message can still be recognized. The codewords must remain sufficiently different. How many distinguishable messages fit when every pair needs a minimum separation?

Formal proof reported↗
14OpenAI
u(n) = max # pairs at distance 1

A new construction for the Erdős unit-distance problem

Put many points on paper and connect every pair exactly one unit apart. How many lines can you get? An OpenAI model found examples that beat a long-standing guess about the best arrangement.

External mathematics review↗

Research notes

OpenAI

Fair use benefits everyone

AI models · provider_announcement

OpenAI shares excerpts from court briefs by creators, academics, accessibility advocates, and legal experts, among others, on how fair use supports AI training and innovation.

Automatically screened · not peer reviewed by this siteRead analysis note ↗
OpenAI

How we detect frontier model misalignment

Agent systems · provider_announcement

OpenAI uses layered monitoring to detect frontier model misalignment and unauthorized agent behavior so responders can intervene before incidents escalate.

Automatically screened · not peer reviewed by this siteRead analysis note ↗