Numbers, statistics, and quantitative reasoning.
As of snapshot 27745 under ledger-default@0.3.0. Counts by assessment state, descriptive only: no topic is scored.
2 Contradicted1 Insufficient evidence1 Leans contradicted4 Leans supported2 Not assessed46 Supported1 Unresolved
| Claim | Type | Assessment |
|---|
| The 176Lu+ comparison became statistically limited after approximately 200 hours of averaging, with measurement instability of 4.8×10⁻¹⁶(τ/s)⁻¹ᐟ². | QUANTITATIVE | Supported |
| The STEP analysis found no significant treatment-by-metabolic-syndrome interaction for cardiovascular or safety outcomes, although hypotension was numerically more frequent with intensive treatment in the highest tertile. | QUANTITATIVE | Supported |
| A post hoc STEP-trial analysis included 8,231 participants with complete metabolic-syndrome severity data and used an age-, sex-, and ethnicity-specific scoring model. | OBSERVATIONAL | Supported |
| The LHCb analysis measured the Ω+cc mass as 3725.9 MeV/c² with separate statistical, systematic, lifetime, and external uncertainties. | QUANTITATIVE | Supported |
| Across five real circular datasets, the proposed distribution achieved the smallest AIC and BIC values and the largest Kuiper-test p-value among seven compared models. | COMPARATIVE | Supported |
| The study proposed a circular-data distribution using two beta-type density components joined at a data-driven cut-point under continuity and periodicity constraints. | DEFINITIONAL | Supported |
| Across 26 data- and discovery-focused papers, Paper2Agent’s resource layer achieved 89.0 ± 3.1% accuracy on 100 synthesis questions and was reported as cheaper and faster than a browser-use baseline. | QUANTITATIVE | Leans supported |
| Across 42 execution-based tasks from 10 non-biology computational papers, Paper2Agent achieved 98.1 ± 0.8% accuracy across five independent runs. | QUANTITATIVE | Supported |
| On 300 tutorial-derived benchmark questions, Paper2Agent with Sonnet 4 achieved 91.2 ± 1.6% accuracy, compared with 80.3 ± 2.3% for direct-repository Claude Code using Sonnet 4. | QUANTITATIVE | Leans supported |
| In the study, a neural classifier distinguished biological from linear virtual-conspecific motion with 72.6% classification accuracy during stimulus presentation and before the action. | QUANTITATIVE | Supported |
| In the study’s 24-qubit experiment, the hybrid feedback trajectory converged to the reported optimal TDVP orbit in fewer than ten iterations. | QUANTITATIVE | Supported |
| In the study’s experiments, AQAGC outperformed the reported classical, probabilistic, quantum-walk and hybrid baselines across attack-path discovery, ranking, scalability, robustness and explainability measures. | OBSERVATIONAL | Supported |
| The study evaluated its attack-graph framework on a derived benchmark spanning four intrusion-detection datasets and graph sizes from 50 to 5000 nodes. | QUANTITATIVE | Supported |
| The study estimated the PM2.5-productivity relationship using an instrumental-variable design combining air-quality data with bibliographic publication data. | OBSERVATIONAL | Supported |
| The language-change study quantified model forecasting ability for dialect-pattern dynamics up to a twenty-five-year horizon using Kullback–Leibler divergence between forecasts and observations. | QUANTITATIVE | Supported |
| A model fitted to high-resolution twentieth-century US dialect surveys reported that migration can rapidly destroy spatial linguistic patterns, while linguistic accommodation can create and protect them, producing partially predictable pattern dynamics with diffusion. | COMPARATIVE | Supported |
| The September 2026 Erdős–Chvátal simplex conjecture preprint states that if 2≤d<k and (d+1)k≤dv, every d-simplex-free family of k-subsets of [v] has at most binom(v−1,k−1) members, with equality only for a full star. | TEXTUAL | Supported |
| In leave-one-scenario-out cross-validation, a physics-informed Hybrid Linear+XGBoost model achieved RMSE 2.97 dB, a 24.0% improvement over the Close-In baseline, and improved accuracy on unseen corridor geometries relative to interpolated data. | QUANTITATIVE | Supported |
| Using an instrumental-variable design for Chinese scholars, the study estimated that a 1 μg m−3 increase in annual PM2.5 caused a 0.23% decline in academic publications, with larger effects during heavy-pollution years. | QUANTITATIVE | Supported |
| In a pragmatic cluster-randomized trial across 16 Kenyan primary-care facilities, LLM-assisted clinical officers did not significantly change 14-day treatment-failure rates versus control: 2.2% versus 2.0% (adjusted odds ratio 0.77, 95% CI 0.55–1.08, P=0.13). | QUANTITATIVE | Supported |
| The reported analysis found a moderate overall correlation between Roman and modern roads across the former Roman Empire, with substantial variation by location. | COMPARATIVE | Leans supported |
| The reported network analysis found that Rome was not the dominant hub of the Roman Empire’s land-transport network and that Byzantium was more central to empire-wide land mobility. | HISTORICAL | Leans supported |
| In the study's engineered yeast-colony assay, a 6.5-hour treatment/18-hour pause schedule delayed time to progression by 25.5 hours versus continuous treatment, 21 hours versus 9-hour/18-hour treatment, and 24.5 hours versus 4-hour/18-hour treatment in the tested comparisons. | QUANTITATIVE | Supported |
| An independent August 2026 report said OpenAI's Astra solved ten previously open problems in mathematics and theoretical computer science, and that formal Lean proofs were published for machine checking. | HISTORICAL | Supported |
| Sam Altman posted on social media within 24 hours of this recording expressing surprise that OpenAI had solved Navier-Stokes. | OBSERVATIONAL | Supported |
| OpenAI's new internal model is solving many problems beyond Navier-Stokes that were previously intractable. | OBSERVATIONAL | Supported |
| The Yang-Mills Millennium Prize problem is a conjecture in particle theory concerning the existence of a mass gap under certain conditions. | DEFINITIONAL | Supported |
| OpenAI was targeting the Riemann hypothesis and P versus NP before switching its effort to Navier-Stokes. | OBSERVATIONAL | Supported |
| Yang-Mills will be the next Millennium Prize problem to fall. | FORECAST | Not assessed |
| OpenAI's Navier-Stokes announcement carried a disclaimer that the team cannot rule out that other teams' work was incorporated into the training of the model used to solve the problem. | OBSERVATIONAL | Supported |
| Terence Tao previously flagged that the right initial conditions in an idealized fluid could in principle produce a self-replicating machine making ever-smaller copies of itself. | OBSERVATIONAL | Supported |
| Sébastien Bubeck, who leads the OpenAI effort, has posted an account presenting the authorship dispute as a misunderstanding. | OBSERVATIONAL | Supported |
| The researchers behind the Euler blowup result wrote a letter saying OpenAI offered them credit and lead authorship on the Navier-Stokes paper on condition that their Anthropic co-author be dropped. | OBSERVATIONAL | Supported |
| Navier-Stokes was solved by a generalist model reasoning from first principles for 88 hours without fine-tuning, rather than by a physics-informed neural network. | OBSERVATIONAL | Supported |
| Google DeepMind had an entire team devoted to physics-informed neural networks aimed at Navier-Stokes and had been publishing incremental results toward it. | OBSERVATIONAL | Supported |
| A separate solution to the Euler blowup problem, produced with physics-informed neural networks, has more practical application than the Navier-Stokes result. | INTERPRETIVE | Supported |
| An Anthropic researcher working with an independent New York professor had produced a solution to the Euler blowup problem, a related and somewhat easier problem than Navier-Stokes. | OBSERVATIONAL | Supported |
| OpenAI's new mathematics model doubles the solving rate on open mathematics problems. | QUANTITATIVE | Supported |
| OpenAI's announcement said it began training a new model strong at mathematics on 28 August 2026 and pointed it at Navier-Stokes on 1 September 2026, after which it solved the problem. | HISTORICAL | Supported |
| On 28 August 2026, Noam Brown of OpenAI publicly replied that the company had thrown a lot of compute at a Millennium Prize problem without result. | OBSERVATIONAL | Supported |
| Terence Tao devoted almost all of his working time to the Navier-Stokes problem. | OBSERVATIONAL | Contradicted |
| OpenAI's Navier-Stokes run consumed about 130 billion tokens. | QUANTITATIVE | Supported |
| Several academic teams also achieved or came close to the Navier-Stokes result around the same time as OpenAI. | OBSERVATIONAL | Supported |
| The model that produced OpenAI's Navier-Stokes result was not GPT-6 Astra but a more advanced internal model. | OBSERVATIONAL | Supported |
| OpenAI's Navier-Stokes result shows that in the continuum limit a finite-time singularity can form in an idealized fluid from smooth initial conditions. | OBSERVATIONAL | Insufficient evidence |
| In the Moonshots New Year's predictions episode at the end of 2025, Alexander Wissner-Gross predicted that AI would solve one of the Clay Millennium Prize problems during 2026. | HISTORICAL | Supported |
| The Navier-Stokes problem is one of the Clay Millennium Prize problems. | DEFINITIONAL | Supported |
| The Chinchilla scaling laws do not necessarily hold at larger and larger training scales. | INTERPRETIVE | Supported |
| Whether we are living inside a quantum-mechanical simulation will be formally proven undecidable. | FORECAST | Not assessed |
| OpenAI said it does not intend to claim the $1 million Clay Millennium Prize for its Navier–Stokes result. | OBSERVATIONAL | Supported |
| The Navier–Stokes proof was produced by roughly 10,000 OpenAI agents working for about 88 hours. | QUANTITATIVE | Supported |
| OpenAI announced on 8 September 2026 that an internal AI model produced a proof, formalized in Lean, that three-dimensional Navier–Stokes solutions can develop a singularity in finite time. | OBSERVATIONAL | Supported |
| Humans use only ten percent of their brains. | QUANTITATIVE | Contradicted |
| 62% of 400 remote employees of Acme customers surveyed by Acme in 2026 reported higher productivity. | QUANTITATIVE | Supported |
| The Acme press release states that 62% of remote workers report higher productivity. | TEXTUAL | Supported |
| The Journal of Distributed Work Research (2025) reports that 62% of remote workers report higher productivity. | TEXTUAL | Leans contradicted |
| 62% of remote workers report higher productivity. | QUANTITATIVE | Unresolved |
Galedra