Loading the edition…
· Past edition · 12 stories
Retrospective edition reconstructed from later captures. Paper versions may include later updates; coverage labels describe the evidence used.
Applications & products
OpenAI reports mathematical results from an internal frontier model and describes how it is sharing proofs, process details, and plans for community review.
Why it matters: The stated revision, citation, and Lean formalization practices give readers ways to engage with the work. Keep the scope in view: the post says many proofs are formalized, and describes the compute figure as an average estimate.
Applications & products
Open each story in the reader. Summaries are shown when available; some sources provide an abstract only. With an account you can keep your own notes.
Long agent runs can span hundreds of pages, narrowing what evaluators can reliably infer. Transect puts events, token use, sub-agent activity, and behavioral labels on a shared turn-based timeline.
Why it matters: For evaluations that are too long to inspect as a single transcript, Transect offers a way to locate behavior, trace interpretations to source turns, and compare underlying data across runs—making review more inspectable without treating model-generated labels as self-validating.