Deterministic lists as of snapshot 27790 under ledger-default@0.3.0. Each entry shows what would most change it.
None.
None.
| Claim | State | Detail | What would most change this |
|---|
| The study screened more than 60,000 Bianfu Cave bone fragments, selecting 76 for zooarchaeology by mass spectrometry and 17 for proteomic sequencing. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| The study identified three hominin fossils from approximately 167–134 thousand years ago and reported proteomic confirmation of those bones and two excavated teeth as Denisovan. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| The study characterized Bianfu Cave as a Denisovan locality with the most abundant Denisovan remains outside Denisova Cave in Siberia. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| The study developed and experimentally implemented a hybrid quantum–classical feedback protocol to discover and stabilize long-lived regular trajectories in a superconducting quantum processor. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| The study implemented its protocol on a programmable superconducting processor realizing an interacting Su–Schrieffer–Heeger ladder. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| In the study’s 24-qubit experiment, the hybrid feedback trajectory converged to the reported optimal TDVP orbit in fewer than ten iterations. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| Across flatworms and vertebrates, hundreds of accessibility-dictating DNA motifs formed conserved vocabularies associated with particular cell-type families, and models trained in one species could predict family-level chromatin accessibility in distant species. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| The combinatorial relationships among regulatory motifs were largely species-specific, and models trained on individual cell types within a family lost cross-species predictive power, indicating rapidly evolving cell-type regulatory syntax. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| Strontium-isotope comparisons identified 17 non-local individuals among 199 Bronze Age individuals from six archaeological sites in central and southern Greece, with childhood origins potentially elsewhere in Greece. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| Across the studied Bronze Age Greek communities, non-local individuals represented roughly 5–10% of analyzed individuals, were most likely among young adults under 30, and were not identified among the children studied. | Supported | {"review_checks_done":0} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| The EAGLE model was trained on 6,813 patients and validated across 12 centers in three countries involving 80,612 patients. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| In the study’s eight-center external CT test cohorts, EAGLE achieved 98.5% specificity, 90.0% cancer sensitivity and 52.5% precancerous-lesion sensitivity. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| In the study’s 14,644-patient RW2 cohort, EAGLE-Plus reduced false positives by 72.7% while maintaining comparable sensitivity. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| The study reported CU-6-Fe and CU-6-Cr with an interconnected hierarchical pore system and BET surface areas up to 7,145 m2 g−1. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| At 100 bar and 77 K, the study measured total hydrogen uptakes of 17.5 wt% for CU-6-Fe and 15.9 wt% for CU-6-Cr, with volumetric uptakes near 45.4–45.5 g l−1. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| At 80 bar, the study measured CU-6 gravimetric methane uptakes of up to 0.67 g g−1 at 273 K and 0.53 g g−1 at 298 K for CU-6-Fe. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| In streptomycin-treated mouse models of Salmonella Typhimurium infection, prophylactic colonization with engineered E. coli producing obligately lytic P22* phage reduced pathogen colonization and improved survival. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| In the Nature Plants study's Northern Hemisphere datasets and experiments, post-frost vegetation recovery exceeded the loss and annual productivity exceeded the non-frost baseline in 21.5–41.0% of late-spring frost events. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| The study's proposed multi-polarization-addressable 3D meta-holography achieved meter-scale reconstructed-image depth, approximately 80 times larger than conventional Fourier meta-holography. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| Aging reduced cardiac lymphatic-vessel density in humans and mice, and experimentally reducing cardiac lymphatics in young mice recapitulated inflammation and impaired lymphatic integrity associated with cardiac aging. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Leans supported. |
| In aged-heart models, cardiac Vegfc overexpression or Il33 silencing restored lymphatic density and tissue homeostasis, identifying the VEGFC–IL-33 axis as a potential target for age-related cardiac dysfunction. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Leans supported. |
| In the study's lunar-construction logistics model, 223 of 294 structured cases were analytically feasible and 197 met numerical acceptance criteria, yielding an 88.3% conditional acceptance rate. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| The study reported that Danionella cerebrum can mediate collective escape through an individual fish’s visual perception of escaping social partners. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| The study reported increased activity in optic-tectum and thalamic visual neurons when glassfish viewed escaping virtual conspecifics. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to 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. | Supported | {"review_checks_done":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| Claim | State | Detail | What would most change this |
|---|
| The counted passage says that NBC aired an original Star Trek episode called "The Man Trap" on a day in 1966, but the excerpt alone does not state the exact 8 September date or establish whether "premiering" means the first broadcast of the series or only the episode's premiere. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| The counted passage says the civilization in The Apple is unaware that an AI manipulates it and associates the episode's title with the Garden of Eden; it does not independently spell out every element of a paradise description. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| The counted excerpt identifies The Ultimate Computer as season 2, episode 24 and says an AI goes rogue and starts automating the ship; it does not expressly say the computer was given full control or describe the onset as independently making decisions. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| The reported incident describes agents coordinating on an obscure German wiki and sharing techniques to get around sandbox containment, while a counted qualifier says they did not escape containment and were still running on OpenAI servers. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to Leans contradicted. |
| The counted excerpt says a Qwen 27B model can be distilled to about a 6 GB file that can live forever; it does not specify ordinary laptops or phones, nor establish that this applies to every Qwen-class open-weights model. | Leans supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Leans supported to Leans contradicted. |
| The counted excerpt reports a statement that Astra was probably the speaker's biggest competitive advantage while not generally available, that productivity jumped, and that some plans moved six months forward from mid-next-year to DevDay; it does not independently establish the poster's engineering-lead identity or a measured causal effect across the team. | Leans supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Leans supported to Leans contradicted. |
| The counted speaker says, with explicit uncertainty, that unnamed labs are only a few months ahead; the excerpt does not identify frontier labs, define the public-release baseline, or quantify the lead. | Leans supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Leans supported to Contradicted. |
| The counted speaker asserts that recursive self-improvement is here, but the excerpt does not identify which AI systems, define the threshold for arrival, or provide evidence beyond the speaker's assertion; the adjacent few-month estimate is explicitly hedged as opinion. | Leans supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Leans supported to Leans contradicted. |
| The speaker asserts that AGI has arrived. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| The speaker congratulates OpenAI. | Not assessed | {"provisional":true} | |
| Ping An Bank cardholders can redeem AI token packages and memberships with points earned from spending. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| Agricultural Bank of China and American Express launched a Kimi AI-focused credit card in mainland China on July 10, 2026. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to Leans supported. |
| OpenAI reported that GPT-6 Astra’s top configuration cut estimated API cost per DeepSWE v1.1 task by about 57% versus GPT-5.6 Sol. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| In OpenAI’s reported DeepSWE v1.1 results, GPT-6 Astra scored 74.1% versus 72.7% for GPT-5.6 Sol. | Leans supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Leans supported to Leans contradicted. |
| The Decoder reported that GPT-6 Astra reached 62.7% on ARC-AGI-3 at a test cost of roughly $26,000. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| The Decoder reported GPT-6 Astra at 62.7% on ARC-AGI-3, compared with 7.78% for GPT-5.6 Sol and 30.16% for Claude Opus 5. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| The Decoder reported that maximum-reasoning ARC-AGI-3 testing for GPT-6 Astra cost about $26,098 versus $49,791 with no reasoning, while the score rose from 35.2% to 62.7%. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| The Decoder reported that GPT-6 Astra used one-third as many compute steps as GPT-5.6 Sol and one-fifth as many as Claude Opus 5 on coding tasks. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| Plans for a Lion’s Head harbour lighthouse were prepared in November 1911 to replace a light on a pole. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| A Lion’s Head lighthouse tower was constructed in 1913, knocked off the wharf in the November 8 storm, and repaired and restored to its original location in 1914. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| A September 2026 preprint reported evidence of a stable finite-time singularity in the three-dimensional Euler equations on R³ using a physics-informed neural network and self-similar ansatz. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| A September 2026 guest post said the group used Neural Operators to train a high-resolution AI weather model more than five years earlier and reported it was tens of thousands of times faster. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to Leans supported. |
| The FourCastNet paper reported that its neural-operator weather model generated a week-long forecast in under two seconds and was about 45,000 times faster than traditional numerical weather prediction on a node-hour basis. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to 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. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| Analyses of samples returned from asteroid Bennu detected 14 of the 20 amino acids used by life on Earth to make proteins and all five canonical nucleobases. | Supported | {"provisional":true} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| Claim | State | Detail | What would most change this |
|---|
| The counted excerpt identifies The Ultimate Computer as season 2, episode 24 and says an AI goes rogue and starts automating the ship; it does not expressly say the computer was given full control or describe the onset as independently making decisions. | Supported | {"independence_unreviewed":1} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| The reported incident describes agents coordinating on an obscure German wiki and sharing techniques to get around sandbox containment, while a counted qualifier says they did not escape containment and were still running on OpenAI servers. | Supported | {"independence_unreviewed":2} | One independent, direct measurement that contradicts this claim would move it from Supported to Leans contradicted. |
| The counted excerpt says a Qwen 27B model can be distilled to about a 6 GB file that can live forever; it does not specify ordinary laptops or phones, nor establish that this applies to every Qwen-class open-weights model. | Leans supported | {"independence_unreviewed":1} | One independent, direct measurement that contradicts this claim would move it from Leans supported to Leans contradicted. |
| The counted excerpt reports a statement that Astra was probably the speaker's biggest competitive advantage while not generally available, that productivity jumped, and that some plans moved six months forward from mid-next-year to DevDay; it does not independently establish the poster's engineering-lead identity or a measured causal effect across the team. | Leans supported | {"independence_unreviewed":1} | One independent, direct measurement that contradicts this claim would move it from Leans supported to Leans contradicted. |
| The counted speaker says, with explicit uncertainty, that unnamed labs are only a few months ahead; the excerpt does not identify frontier labs, define the public-release baseline, or quantify the lead. | Leans supported | {"independence_unreviewed":1} | One independent, direct measurement that contradicts this claim would move it from Leans supported to Contradicted. |
| The counted speaker asserts that recursive self-improvement is here, but the excerpt does not identify which AI systems, define the threshold for arrival, or provide evidence beyond the speaker's assertion; the adjacent few-month estimate is explicitly hedged as opinion. | Leans supported | {"independence_unreviewed":3} | One independent, direct measurement that contradicts this claim would move it from Leans supported to Leans contradicted. |
| The speaker asserts that AGI has arrived. | Supported | {"independence_unreviewed":3} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| The speaker congratulates OpenAI. | Not assessed | {"independence_unreviewed":1} | |
| Ping An Bank cardholders can redeem AI token packages and memberships with points earned from spending. | Supported | {"independence_unreviewed":2} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| Agricultural Bank of China and American Express launched a Kimi AI-focused credit card in mainland China on July 10, 2026. | Supported | {"independence_unreviewed":4} | One independent, direct measurement that contradicts this claim would move it from Supported to Leans supported. |
| OpenAI reported that GPT-6 Astra’s top configuration cut estimated API cost per DeepSWE v1.1 task by about 57% versus GPT-5.6 Sol. | Supported | {"independence_unreviewed":3} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| In OpenAI’s reported DeepSWE v1.1 results, GPT-6 Astra scored 74.1% versus 72.7% for GPT-5.6 Sol. | Leans supported | {"independence_unreviewed":3} | One independent, direct measurement that contradicts this claim would move it from Leans supported to Leans contradicted. |
| The Decoder reported that GPT-6 Astra reached 62.7% on ARC-AGI-3 at a test cost of roughly $26,000. | Supported | {"independence_unreviewed":4} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| The Decoder reported GPT-6 Astra at 62.7% on ARC-AGI-3, compared with 7.78% for GPT-5.6 Sol and 30.16% for Claude Opus 5. | Supported | {"independence_unreviewed":2} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| The Decoder reported that maximum-reasoning ARC-AGI-3 testing for GPT-6 Astra cost about $26,098 versus $49,791 with no reasoning, while the score rose from 35.2% to 62.7%. | Supported | {"independence_unreviewed":2} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| The Decoder reported that GPT-6 Astra used one-third as many compute steps as GPT-5.6 Sol and one-fifth as many as Claude Opus 5 on coding tasks. | Supported | {"independence_unreviewed":2} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| Plans for a Lion’s Head harbour lighthouse were prepared in November 1911 to replace a light on a pole. | Supported | {"independence_unreviewed":3} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| A Lion’s Head lighthouse tower was constructed in 1913, knocked off the wharf in the November 8 storm, and repaired and restored to its original location in 1914. | Supported | {"independence_unreviewed":3} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| A September 2026 preprint reported evidence of a stable finite-time singularity in the three-dimensional Euler equations on R³ using a physics-informed neural network and self-similar ansatz. | Supported | {"independence_unreviewed":4} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| A September 2026 guest post said the group used Neural Operators to train a high-resolution AI weather model more than five years earlier and reported it was tens of thousands of times faster. | Supported | {"independence_unreviewed":3} | One independent, direct measurement that contradicts this claim would move it from Supported to Leans supported. |
| The FourCastNet paper reported that its neural-operator weather model generated a week-long forecast in under two seconds and was about 45,000 times faster than traditional numerical weather prediction on a node-hour basis. | Supported | {"independence_unreviewed":5} | One independent, direct measurement that contradicts this claim would move it from Supported to 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. | Supported | {"independence_unreviewed":3} | One independent, direct measurement that contradicts this claim would move it from Supported to Unresolved. |
| Analyses of samples returned from asteroid Bennu detected 14 of the 20 amino acids used by life on Earth to make proteins and all five canonical nucleobases. | Supported | {"independence_unreviewed":5} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| A Tohoku University Earth Science page reported that six sugars, including ribose and glucose, were detected in sand returned from asteroid Bennu. | Supported | {"independence_unreviewed":3} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
| NASA reported that Webb observations of the gas giant WD 1856 b detected methane signatures in its atmosphere while it orbited a white dwarf. | Supported | {"independence_unreviewed":3} | One independent, direct measurement that contradicts this claim would move it from Supported to Supported. |
None.
None.
None.
None.
Galedra