OpenAI model's Lean-verified manuscript targets local smoothing and Kakeya conjectures
maier_ak · x · 2026-10-29
The linked post showcases the OpenAI model's manuscript claiming local smoothing and Kakeya in every dimension, formalized in Lean. The accompanying illustration depicts a Kakeya-style needle set.
More from Research
- Apple hiring PhD interns to fix grounded video reasoning in Video LLMs — HildeKuehne · 2026-10-29
- MASEM (NeurIPS '26): diverse state sampling for goal-conditioned robot RL — KyleMorgenstein · 2026-10-29
- No papers needed: a 4-step recipe to start mech-interp with a local SLM and Claude — burny_tech · 2026-10-29
- MIT dissects Anthropic's J-space: averaged Jacobian keeps under 10% of variance — burny_tech · 2026-10-29
- Reading neurons directly via J-lens: persona neurons ranked, repo coming soon — burny_tech · 2026-10-29
- Researcher: one steering vector can make an RLHF model shout slurs, no prompt can match it — voooooogel · 2026-10-29