refs

Inspiration and source texts. Not problem work.

problem-template is the scaffold for a new problems/<slug>/ folder; copy it with scripts/new-problem.sh <slug>.

OpenAI, August 2026

• Ten advances
• reasoning-walkthroughs.pdf — How the Ideas Came Together. This is the house style for WALKTHROUGH.md: false starts, the useful failure, the click, then the argument. Extracted text: reasoning-walkthroughs.txt.
• ten-proofs-oai.pdf — the ten writeups.
• Lean certificates: openai/ten-proofs

Tao / blueprint method

• Sendov’s conjecture: digesting a proof
• Equational Theories
• PFR Blueprint
• Distillation / formalization notes as they appear.

House style

See walkthrough-style.md. Write discovery notes, not cleaned proofs. A failed attack belongs in ATTACK.md.