Fetching from the wire…
01
02
03
04
05
06
07
08
Research2026-08-30 · source-backed
In Tacet, an empirical analysis declares what it generated and what it expects to find, and is refused any claim it can't afford or properly test. A sample selected by reading outcomes permanently sets a purity bit and is recorded as having examined everything it read, so it can never get a one-sided price without the system asking about intent, and whether a comparison is paired or clustered is computed statically from declared functional dependencies before any data is read. Because the wealth transformer is antitone in the realized p-value, affordability is checkable before the analysis runs. Demonstrated on the SWE-bench Verified leaderboard and BIG-Bench Hard. (arXiv 2608.27451)
Each link below shares sources, entities, or timing with this story.
Terence Tao uses Lean / Shared entity: Lean / Earlier coverage
Linked by a graph relationship (Terence Tao uses Lean); both cover Lean; earlier Lean coverage from 2026-08-02.
OpenAI uses Lean / Shared entities / Earlier coverage
Linked by a graph relationship (OpenAI uses Lean); both cover SWE, Verified; earlier SWE coverage from 2026-07-10.
Linked by a graph relationship (OpenAI uses Lean); both cover SWE, Verified; earlier SWE coverage from 2026-05-27.
Linked by a graph relationship (OpenAI uses Lean); both cover SWE, Verified; earlier SWE coverage from 2026-04-14.
Linked by a graph relationship (OpenAI uses Lean); both cover SWE, Verified; earlier SWE coverage from 2026-03-06.
Shared entities / Same source domain / Earlier coverage / Tension
Both cover SWE, Verified; reported by the same outlet (arxiv.org); earlier SWE coverage from 2026-08-24.
Shared entities / Same source domain / Earlier coverage / Downstream implication
Both cover SWE, Verified; reported by the same outlet (arxiv.org); earlier SWE coverage from 2026-08-19.
Shared entities / Same source domain / Earlier coverage / Tension
Both cover SWE, Verified; reported by the same outlet (arxiv.org); earlier SWE coverage from 2026-08-11.