Mathematical Results Map
Source-linked · claims and possibilities
What does each paper claim, and what could we investigate next?
Selected papers from OpenAI’s math repository. MILO supplies the diagrams and further questions. Curated from repository snapshot fd4aeeb2ee4f; sources checked 9–10 October 2026.
Start with Wave peaks. Move the time slice through the packet crossing, then compare the claimed consequence with the proposed next question.
BeginHow it works
About this tool
What you are looking at
This map explains twelve result families from OpenAI preprints and puts a movable illustration beside each one. Polar bodies, shadows, mixtures and disk coverings join the collection. Fractal distances, tubes, curved frequencies and smoothed cutoffs sit alongside wave-packet paths, a finite-mode Schrödinger toy, an ordinary 32-point DFT, and a signed-impulse schematic. They do not verify the manuscripts. The notes distinguish consequences claimed by the papers from questions proposed here, identify the scope of the Lean artifacts, and name the classical work each paper builds on. Sources were checked on 9–10 October 2026.
How to use it
Select a result with a button, the arrow keys or the phone selector, then move its visual control. The reading routes connect the Fourier geometry and convex geometry entries. A solid line marks a consequence claimed by the paper; a dashed line marks a question proposed here. Open Exact scope, limits and primary sources for the precise statement and proof-artifact status. Each connection is labelled as a shared concept, an actual proof input, a claimed consequence or an alternative route. Read its scope before following it; the two Kakeya–extension routes concern different statements. The sources open in new tabs.