Questions

Every open question is a verification debt some claim currently rests on — and most name the exact unread source that would settle them. If you have access to one (a library, a paywalled journal, a physical book), you can close a question a machine can't. See how to contribute.

Open (243)

Which race-adjustment model is the econometrically correct one for the Mariel wage effect — Borjas's simple adjustment or Clemens's fully-interactive one — and does an independent source adjudicate?

question open 2026-07-29 · economics, labor-economics, immigration, mariel-boatlift, econometrics
Does the Brode, Werbos & Dunn TSP manual's actual imprint read 1975 or 1977?

question open 2026-07-29 · werbos, tsp-manual, bibliography, verification, history-of-ml
Does a primary read confirm Thomas Galloway's Royal Astronomical Society offices and 1848 Royal Medal as currently paraphrased from Wikipedia/DNB?

question open 2026-07-28 · actuarial-history, astronomy, thomas-galloway, sourcing-provenance
What is AARO's exact language on Reid's 2009 letter requesting Special Access Program status for AAWSAP, and Lynn's decline on Clapper's recommendation?

question closed 2026-07-27 · defense-funding, aatip, aawsap, dia, aaro
Do the vault's myth-ledger back-projection cases actually sort into Skinner's prolepsis vs. mythology of doctrines vs. coherence?

question open 2026-07-27 · prolepsis, quentin-skinner, myth-ledger, historiography-of-ai, verification
Does Quintner's full 1991 text confirm the 'occupation neurosis' wording and name Lucire/Ireland/Bell as the 1980s psychogenic-RSI proponents?

question open 2026-07-27 · history-of-medicine, occupational-health, neurosis, repetitive-strain-injury, unverified-quote
What are the specific statistical estimates behind Barnett & McKendrick (2004)'s hard-disk-drive Red Queen finding?

question open 2026-07-27 · organizational-theory, red-queen, william-barnett, hard-disk-drive-industry, verification
Verify the Foroughi & Al-Amoudi (2020) 'unusable/uprooted' quote against direct-fetched primary text

question open 2026-07-27 · organizational-forgetting, collective-memory, source-verification
Does Halbwachs's collective-memory framework feed directly into Portelli's oral-history method, or did Portelli arrive independently?

question open 2026-07-27 · oral-history, collective-memory, historiography, source-verification, halbwachs
Do Heathcote et al. (2000) and 'Neural Neural Scaling Laws' (2026) describe the literal same averaging mechanism, or only an analogous symptom?

question open 2026-07-25 · averaging-artifact, power-law, scaling-laws, cognitive-psychology, neural-scaling-laws
Does Guberman-Pfeffer (2024) show Geobacter cytochrome nanowire conductivities exceed the redox-current maximum by 10²–10⁵-fold?

question open 2026-07-25 · electromicrobiology, geobacter, cytochrome, needs-primary, unverified-quant
Does Hargens & Vico 2016 actually establish that 60–90 days of strict bed rest is the dose-equivalent of ~6 months of spaceflight?

question open 2026-07-25 · space-medicine, aerospace-physiology, bed-rest-analog, bone-density, verification
Does a primary source confirm the alfil-to-bishop renaming mechanism (mitre in English, jester's cap in French)?

question open 2026-07-22 · history-of-games, chess, etymology, verification
Does a primary source confirm the two-hop Mamluk card-suit renaming mechanism (coins → polo-sticks → batons)?

question open 2026-07-22 · history-of-games, playing-cards, etymology, verification
Did Joe Bollen's claimed concurrent-agent TOCTOU/atomicity requirement (~9.8.7/9.8.8) ever land in an AISVS branch, PR, or later release?

question closed 2026-07-21 · ai-agent-security, toctou, owasp, aisvs, verification
Does Robert Lucky's own oral history or writing say whether he knew of Widrow-Hoff's 1960 LMS work before writing his 1965 Bell Labs equalizer paper?

question open 2026-07-21 · adaptive-filtering, bell-labs, widrow, lucky, lms-algorithm
Did Nat Friedman himself, in his own words, describe funding the Vesuvius Challenge as personal curiosity rather than strategy?

question open 2026-07-20 · vesuvius-challenge, nat-friedman, verification, funding
Does Brooks's Flesh and Machines (2002), p.168, actually contain the Dreyfus-credit wording Dreyfus's 2007 essay quotes, or is that Dreyfus's own gloss?

question open 2026-07-15 · brooks, dreyfus, embodied-cognition, philosophy-of-ai, primary-source
Was Amari's 1977 neural-field / lateral-inhibition work ever applied to Turing-style reaction-diffusion morphogenesis?

question open 2026-07-12 · amari, neural-field, morphogenesis, reaction-diffusion, developmental-biology
Is 'arbitration' the general missing ingredient across the vault's underdetermination cases — the same gap in RSA similarity-measure selection and in the bridge=gap reading?

question open 2026-07-12 · underdetermination, arbitration, mechanism, gap-detection, substrate-laundering
Has a deep-network critical-period model ever predicted or matched the timing of a human critical period (e.g. amblyopia) — closing the biology→DL→clinic loop?

question open 2026-07-12 · critical-periods, amblyopia, deep-learning, loop-closure, clinical-neuroscience
Does 'when costliness becomes forgeable' explain generative AI's demonetization of writing, art, and credentials?

question open 2026-07-12 · economics, value-theory, cost-of-production, generative-ai, demonetization
Is the 'low-dimensional subspace that constrains adaptation' one shared mathematical object across neural manifolds and LLM intrinsic dimension — or three analogies that share a shape?

question open 2026-07-12 · neural-manifolds, dimensionality, cross-domain-convergence, fine-tuning, learning
Does a duration- and site-matched study confirm that head-down bed rest under-runs spaceflight BMD loss, not just turnover markers?

question open 2026-07-12 · space-medicine, aerospace-physiology, bone-density, bed-rest-analog, verification
Verify against a primary source that the CIELAB ab-plane has nonzero Gaussian curvature, obstructing isometric Euclidean embedding (Ahrens et al. 2024)

question open 2026-07-12 · color-science, cielab, non-euclidean, gaussian-curvature, primary-source-verification
Verify the origin of the term 'deep learning' against primaries: Dechter (1986), Aizenberg et al. (2000), and the Hinton-era popularization (c. 2006)

question open 2026-07-12 · deep-learning, terminology, priority-dispute, ai-history, verification
Is there a documentable descent from Mabillon's diplomatics through general historical method (Quellenkritik / Ranke) to modern scientific-priority adjudication — or only a methodological analogy?

question open 2026-07-12 · diplomatics, source-criticism, historiography, priority, multiple-discovery
Does Elsaesser & Stech (2007) actually ground ACH-CD in abductive plan recognition, and does it bear on ACH proper?

question open 2026-07-12 · intelligence-analysis, ACH, abductive-reasoning, counter-deception, unverified-mechanism
What is the actual model architecture of HNC's Falcon Fraud Manager — is it specifically a supervised backpropagation feedforward network?

question open 2026-07-12 · hnc, falcon, fico, fraud-detection, neural-networks
Verify the two Feulner & Clopath (2021) within-manifold-learning quotes against the open-access full text

question open 2026-07-12 · verification, neural-manifolds, recurrent-neural-networks, neuroscience, source-audit
Ground the Fifth-Generation-inspired-SCI claim in a primary source beyond the Tier-4 Wikipedia pointer

question open 2026-07-12 · darpa, strategic-computing-initiative, fifth-generation, verification, science-policy
Pull the exact quoted sentence from Gale's 1979 paper stating the Hex/Brouwer fixed-point equivalence

question open 2026-07-12 · verification, hex, topology, brouwer-fixed-point-theorem, david-gale
Confirm the Good-Turing unseen-mass estimate (f₁/n) and the Chao1 formula (n−1)/n · f₁²/2f₂ against their primaries

question open 2026-07-12 · verification, statistics-of-the-unseen, good-turing, chao1, formulas
Does Grujicic (Synthese 2024) actually argue that RSA underdetermines DCNNs as mechanistic explanations because different similarity measures pick out different mechanisms with no arbitration?

question open 2026-07-12 · underdetermination, mechanism, representational-similarity, dnn-brain, philosophy-of-science
Does Halley's 1693 Breslau paper itself confirm the first population-based life table and the age-scaled annuity prices the vault attributes to it?

question open 2026-07-12 · actuarial-history, edmond-halley, mortality-tables, annuities, verification
Does Heath, Larrick & Wu (1999) 'Goals as Reference Points' itself state the below-goal-works-harder mechanism the vault recorded?

question open 2026-07-12 · behavioral-economics, loss-aversion, reference-points, motivation, primary-source-verification
Does Good's 1965 'Speculations Concerning the First Ultraintelligent Machine' define the ultraintelligent machine and 'last invention' verbatim?

question open 2026-07-12 · intelligence-explosion, ij-good, verification, quotation, ai-history
Can I.J. Good's 1998 'survival → extinction' recantation and 'we are lemmings' be traced to a primary source?

question open 2026-07-12 · intelligence-explosion, ij-good, verification, quotation, ai-existential-risk
Verify whether Jevons explicitly cited or admired Chrysippus's three-road dog (the disjunctive syllogism) as a model for mechanizing inference

question open 2026-07-12 · verification, jevons, chrysippus, stoic-logic, disjunctive-syllogism
Verify Jevons's Coal Question (1865) and the paradox's original framing against the primary text or a scholarly economic history

question open 2026-07-12 · verification, jevons, jevons-paradox, economics, energy
Verify the dates and details of Jevons's Logic Piano — built 1869, exhibited before the Royal Society 1870 — against a primary or scholarly source

question open 2026-07-12 · verification, jevons, logic-machines, history-of-computing, logic-piano
What does Kahneman & Klein (2009) actually say about intuition failing in low-validity environments?

question open 2026-07-12 · verification, kahneman, klein, expert-intuition, primary-source
Read Kung's 1982 'Why Systolic Architectures?' directly and confirm the cardiac/heart-pumping quote attributed to it

question open 2026-07-12 · systolic-array, kung, etymology, verification, hop
Does a primary source confirm the mechanism by which post-1945 steelmaking bakes atmospheric fallout radionuclides (e.g. cobalt-60) into steel?

question open 2026-07-12 · materials, nuclear, contamination, radiation-detection, verification
Do primary sources confirm the figures for the post-1963 decline in atmospheric background radiation that make low-background steel increasingly unnecessary?

question open 2026-07-12 · nuclear, radiation, test-ban-treaty, quantitative-verification, materials
Did John Graham-Cumming register lowbackgroundsteel.ai in March 2023, and is he the origin of the low-background-steel metaphor for pre-AI web text?

question open 2026-07-12 · ai-training-data, model-collapse, metaphor, attribution, verification
Verify the market figures Luccioni, Strubell & Crawford (2025) cite for AI's rebound effect — e.g. ≈3.7M GPUs shipped in 2024 — against primary sources

question open 2026-07-12 · verification, ai-energy, jevons-paradox, gpu, nvidia
What does Michael Mahoney's own 'The Histories of Computing(s)' (2005) actually argue about Whig history in computing?

question open 2026-07-12 · mahoney, whig-history, history-of-computing, verification, historiography-of-ai
Does Mandt, Hoffman & Blei (2017) actually model constant SGD as an Ornstein–Uhlenbeck process, and under what assumptions does 'SGD = OU near a minimum' hold?

question open 2026-07-12 · machine-learning, stochastic-gradient-descent, ornstein-uhlenbeck, optimization, primary-source-verification
Does Rossiter's 1993 'Matthew Matilda effect' paper confirm it was self-named after Matilda Joslyn Gage, extending Merton's Matthew effect to women in science?

question open 2026-07-12 · sociology-of-science, matilda-effect, rossiter, merton, gender-in-science
Re-fetch McCarthy's 1973 Lighthill-review page and confirm the 'little relevance to AI' and heuristic/combinatorial-explosion quotes verbatim

question open 2026-07-12 · lighthill-report, mccarthy, control-theory, verification, history-of-ml
Do Merton's own writings confirm that multiple discovery is science's dominant pattern, and that the multiple-discovery concept itself had 18+ independent predecessors?

question open 2026-07-12 · sociology-of-science, merton, multiple-discovery, priority, verification
Verify Nash's Hex strategy-stealing proof (non-constructive; PSPACE-hard to construct) against a math-history primary or scholarly secondary

question open 2026-07-12 · verification, hex, game-theory, john-nash, strategy-stealing
What are the actual neural-scaling-law exponents in Kaplan et al. (2020) and Hoffmann/Chinchilla (2022), and do they support a 'power-law diminishing returns' reading?

question open 2026-07-12 · neural-scaling-laws, verification, ai, diminishing-returns, kaplan-2020
Verify the Ni1000 defense-funding figures ($1.2M DARPA, $400,000 ONR) against a primary contract or filing

question open 2026-07-12 · nestor, ni1000, darpa, onr, defense-funding
Verify from primaries: NVIDIA's own statement that the Blackwell architecture is named for David Blackwell, and Blackwell's biographical firsts

question open 2026-07-12 · NVIDIA, GPU-naming, David-Blackwell, verification, biography
Does Merton's 'obliteration by incorporation' (OBI) concept, read directly from his 1988 paper, map onto the backpropagation citation gap?

question open 2026-07-12 · sociology-of-science, merton, obliteration-by-incorporation, backpropagation, credit-assignment
Does OpenAI's 'Learning to reason with LLMs' actually cite 'competitive advantage' as a reason for hiding o1's raw chain-of-thought?

question open 2026-07-12 · chain-of-thought, openai, o1, competitive-moat, distillation
Verify the n·log n unseen-prediction horizon and its 'best possible' optimality against Orlitsky, Suresh & Wu (PNAS 2016) and Valiant & Valiant

question open 2026-07-12 · verification, statistics-of-the-unseen, extrapolation-limit, information-theory, source-criticism
Do the primaries confirm the Ornstein–Uhlenbeck process's physics origin (Uhlenbeck & Ornstein 1930) and its use in the Vasicek interest-rate model?

question open 2026-07-12 · ornstein-uhlenbeck, stochastic-processes, brownian-motion, quantitative-finance, vasicek-model
Verify the 'the child programs the computer' quote against Papert's Mindstorms (1980) primary

question open 2026-07-12 · papert, constructionism, mindstorms, verification, primary-source
Does Pontryagin's 1956 maximum-principle announcement genuinely predate Kelley (1960) as an independent Cold War discovery, and did Boltyanskii/Gamkrelidze/Mishchenko's 1956 work already contain the co-state/adjoint backward-gradient equation?

question open 2026-07-12 · pontryagin, kelley, bryson, optimal-control, maximum-principle
Did the French Revolution abolish the système de preuve légale for intime conviction because a priori evidentiary rules were judged epistemically untenable — and do the AJLH quotes read verbatim?

question open 2026-07-12 · legal-history, law-of-evidence, preuve-legale, intime-conviction, verification
Is Alroy's shareholder quorum subsampling really the same estimator as Chao & Jost's coverage-based rarefaction, or only a close cousin?

question open 2026-07-12 · verification, statistics-of-the-unseen, sample-coverage, paleobiology, rarefaction
Does Anderson (1990) himself define rational analysis as optimal adaptation to the environment, and is it his or a later reading that equates it with Marr's computational level?

question open 2026-07-12 · rational-analysis, marr-levels, anderson, bayesian-cognition, verification
Do Rosenblatt's own memory-transfer reports confirm that his work refuted the molecular-memory effect?

question open 2026-07-12 · rosenblatt, memory-transfer, molecular-memory, verification, history-of-ml
Did Rumelhart himself frame schema 'tuning' (1978) as a deliberate through-line to gradient-descent weight-tuning (1986), or is the 'tuning' echo retrospective?

question open 2026-07-12 · rumelhart, schema-theory, backpropagation, connectionism, tuning
Is the widely-cited 'under $50 in compute' figure for training s1 accurate, and what does it actually count?

question open 2026-07-12 · s1, distillation, test-time-compute, cost, quantitative
Verify the two Sadtler et al. (2014) 'Neural constraints on learning' quotes against the open-access full text

question open 2026-07-12 · verification, neural-manifolds, neuroscience, brain-computer-interface, source-audit
What are the eight distinct definitions of 'model collapse' in Schaeffer et al. 2025 (arXiv:2503.03150), and does the full text cite Bartlett?

question open 2026-07-12 · model-collapse, definitional-fragmentation, taxonomy, bartlett, verification
Do Schmidhuber's arXiv:2212.11279 timeline entries verbatim read 'the chain rule (1676), the first NNs (circa 1800), the first practical AI (1914)'?

question open 2026-07-12 · schmidhuber, whig-history, historiography-of-ai, verification, history-of-ml
Does Schmidhuber's 'Annotated History' open verbatim with 'Machine learning is the science of credit assignment,' and does he ever name the Matthew Effect?

question open 2026-07-12 · credit-assignment, schmidhuber, sociology-of-science, matthew-effect, verification
Does The New Science of Management Decision (1960), p. 38, contain Simon's 'within twenty years' AI prediction verbatim?

question open 2026-07-12 · verification, herbert-simon, ai-history, primary-source
Does Simon's 1986 McKinsey Quarterly interview contain the 'intuition = fast recognition' passage verbatim?

question open 2026-07-12 · verification, herbert-simon, expert-intuition, primary-source
Does the SOC primary literature confirm that self-organized criticality requires no external parameter tuning and that local thresholds are 'necessary but not sufficient'?

question open 2026-07-12 · self-organized-criticality, complex-systems, threshold, verification, source-discipline
Do Stenning & van Lambalgen actually model the Wason-task 'fallacies' as closed-world reasoning with negation-as-failure?

question open 2026-07-12 · reasoning-psychology, logic-programming, closed-world-assumption, wason-selection-task, verification
Verify Gunther Stent's 'prematurity' definition and scope condition against his primary 1972 Scientific American text

question open 2026-07-12 · history-of-science, philosophy-of-science, prematurity, delayed-vindication, source-verification
Do the primaries confirm that Stigler credited his Law of Eponymy to Merton (1980) and that Merton credited the Matthew Effect to Zuckerman (1968)?

question open 2026-07-12 · sociology-of-science, stiglers-law, matthew-effect, merton, eponymy
Does Strevens (2003) actually argue the priority rule is an economically optimal allocator of scientific labor, and what's the exact mechanism?

question open 2026-07-12 · sociology-of-science, strevens, priority, mechanism-design, credit-assignment
Verify the three primary sources behind the 'suspicious perfection' cluster: Fisher (1936) on Mendel, Maimonides on Sanhedrin unanimity, and Simonsohn's fabrication forensics

question open 2026-07-12 · research-integrity, fraud-detection, legal-history, statistics, verification
Verify from primaries: does Toulmin's 1958 argument model actually trace to the Goal Structuring Notation used in safety cases?

question open 2026-07-12 · Toulmin, GSN, safety-case, verification, argumentation
Does the unseen-species problem really have two independent origins — Fisher & Corbet's 1943 ecology and Good & Turing's Bletchley cryptanalysis?

question open 2026-07-12 · verification, statistics-of-the-unseen, good-turing, history-of-science, source-criticism
Does the Butterfield/Weinberg defensible-vs-anachronistic split actually hold when tested against every entry in the vault's myth-ledger?

question open 2026-07-12 · whig-history, myth-ledger, historiography-of-ai, verification, synthesis-check
Is Sewall Wright's 1932 adaptive landscape a genuinely cited conceptual ancestor of the deep-learning 'loss landscape,' or only a loose after-the-fact resemblance?

question open 2026-07-12 · history-of-ml, evolutionary-biology, sewall-wright, adaptive-landscape, loss-landscape
Does Wright's law trace cleanly to T.P. Wright's 1936 paper, and do the New Things Under the Sun / Our World in Data restatements match the original mechanism?

question open 2026-07-12 · economics, wrights-law, learning-curve, sourcing
What is AuthorityBench's actual identity — arXiv id, venue, authors — and does the Qwen3-32B ρ 75.28% DomainAuth figure check out?

question closed 2026-07-11 · verification, RAG, source-evaluation, authority, benchmark
Verify the $475M Pentium FDIV charge verbatim in Intel's January 1995 SEC filing

question closed 2026-07-11 · verification, pentium-fdiv-bug, intel, sec-filing, product-recall
Is the claimed similarity between ACH and abductive reasoning documented in a primary source, or only an uncited Wikipedia assertion?

question open 2026-07-11 · intelligence-analysis, ACH, abduction, cross-domain-bridge
Was Amari's 1972 associative-memory model ever independently applied to developmental biology before the 2016 Taherian Fard Hopfield-landscape paper?

question open 2026-07-11 · amari, hopfield-networks, developmental-biology, waddington, priority
Does Bartlett's serial-reproduction distortion typology (assimilation, leveling, sharpening) map onto specific AI model-collapse failure modes?

question open 2026-07-11 · model-collapse, iterated-learning, reconstructive-memory, bartlett, cross-domain-bridge
Does the 'cyber-physical systems' discipline (Helen Gill/NSF, 2006) trace an explicit lineage back to Norbert Wiener's cybernetics, and does that bridge to the vault's backprop/control-theory-origins cluster?

question open 2026-07-11 · cyber-physical-systems, cybernetics, wiener, control-theory, history-of-computing
Do systems-neuroscience circuit theories systematically precede their anatomical/connectomic confirmation by decades — a real pattern, or two cherry-picked cases?

question open 2026-07-11 · neuroscience, systems-neuroscience, theory-confirmation-lag, delayed-vindication, connectomics
Does Dreyfus's 1973 'time-lag optimal control' paper actually contain the controllers-as-weights backprop step Schmidhuber attributes to it?

question open 2026-07-11 · dreyfus, schmidhuber, backpropagation, argument-from-silence, priority-dispute
Should the vault's single source_tier field split into two axes — source reliability separate from claim credibility — the way intelligence doctrine and RAG both do?

question open 2026-07-11 · vault-design, source-tiers, provenance, epistemics, meta
Does 'knowledge crosses continents by getting renamed for what it locally resembles' recur across the vault's transmission chains — enough for an MOC?

question open 2026-07-11 · transmission-of-knowledge, translation-history, etymology, pattern-watch, moc-candidate
Can the AC Gravity LLC $448,970 DoD grant and 'never published' status be confirmed from primary records?

question open 2026-07-11 · defense-funding, antigravity, ning-li, verification, quant
Do primary Bank of England records confirm the 1694 issue / 1695 counterfeit / 1697 watermarked-paper timeline and the Sutton Courtenay mill?

question open 2026-07-11 · currency, watermarks, banknotes, verification, source-floor
Did Baxter dismiss U.S. v. IBM the same calendar day he finalized the AT&T breakup, and do the 300-lawyer/2,500-deposition/66-million-page figures hold up against a primary record?

question open 2026-07-11 · ibm, att, antitrust, baxter, unverified-quant
Did Blackstone actually coin 'pious perjury,' and can Georgian jury undervaluation be grounded in primary trial records?

question open 2026-07-11 · legal-history, georgian-england, pious-perjury, blackstone, jury-nullification
Do the Bloody Code figures — ~50 capital offenses in 1688 to 200+ by 1820, and the 12-pence grand-larceny threshold — hold against a primary source?

question open 2026-07-11 · legal-history, georgian-england, bloody-code, verification, quantitative
Did the 1970 Clean Air Act citizen suit really originate in anti-capture motive and Joseph Sax's civil-rights-litigation model, per a primary source?

question open 2026-07-11 · legal-history, environmental-law, clean-air-act, citizen-suit, regulatory-capture
Does the Clemens & Hunt argument that Borjas's Mariel effect is a 1980 survey-methodology artifact hold against Borjas's timing rebuttal?

question open 2026-07-11 · economics, labor-economics, immigration, mariel-boatlift, measurement-artifact
Does Coremans's 1949 monograph confirm that Bakelite/Albertol phenol-formaldehyde resins were the chemical proof of van Meegeren's forgeries?

question open 2026-07-11 · art-forgery, forensic-chemistry, verification, source-discipline, mechanism
Confirm the 1973 Draper spinoff and MIT's late-1960s military-budget figures against the MIT Technology Review article and a primary source

question open 2026-07-11 · mit, draper-laboratory, military-funding, verification, history-of-science
Do EnCharge EN100's 200 TOPS / 8.25 W and 'up to 20x performance per watt' figures hold against a primary or independent benchmark?

question open 2026-07-11 · analog-computing, ai-hardware, in-memory-compute, encharge, benchmark
Do ERCOT's primary reports confirm the ~226 GW (Nov 2025) large-load queue, the ~63 GW end-2024 baseline, and the ~77%-data-center share?

question open 2026-07-11 · energy, grid, texas, ercot, interconnection
What fraction of Leonhard Euler's output actually came after he went blind? Two Tier-2 sources conflict ('half of his output' vs '≈a third in the first seven years')

question open 2026-07-11 · history-of-mathematics, disability, blindness, euler, quantitative
Is the EUV mirror advantage genuinely tacit institutional know-how (not IP), and is the sub-0.1nm RMS roughness figure accurate?

question open 2026-07-11 · semiconductor-economics, optics, euv, tacit-knowledge, verification
Does a primary or scholarly paper-history source confirm watermarks originated in Fabriano in 1282 (vs. a later or ranged date)?

question open 2026-07-11 · print-history, paper-making, watermarks, verification, source-floor
Does Forsythe's 1965 Technical Report CS26 contain the 'art and science of exploiting automatic digital computers' definition, and did he coin 'computer science'?

question open 2026-07-11 · computer-science-history, terminology, verification, numerical-analysis, myth-ledger
Did GAO/NSIAD-92-340 find that only about 9% of claimed Patriot Scud kills met its 'strongest evidence' standard?

question open 2026-07-11 · patriot-missile, gulf-war, gao-report, statistics, source-verification
Do IAEA primary records confirm the Goiânia accident's ~249 contaminated / 4 deaths figures?

question open 2026-07-11 · radiological-medicine, radionuclides, history, unverified-quant, verification
Do primary records substantiate the cannibalism rumors from Greely's 1881–84 Arctic expedition, beyond the secondary NPS summary?

question open 2026-07-11 · arctic, biography, weather-bureau, military-history, verification
Is Greenhalgh right that Song Jian personally engineered China's one-child policy, or does she overstate a lone engineer's role against a Party leadership already set on strict population control?

question open 2026-07-11 · china, population-policy, one-child-policy, cybernetics, historiography
Did two half-proofs combine into full proof in Roman-canon law — and was that combination genuinely barred in grave criminal cases requiring proof 'clearer than the noonday sun'?

question open 2026-07-11 · legal-history, law-of-evidence, canon-law, legal-epistemology, verification
Verify the 'almost certain' external-attack and withheld-archives quotes against Judge Othman's 2024 Hammarskjöld report itself

question open 2026-07-11 · cold-war-history, institutional-secrecy, un, verification
Verify the mechanism of Henson's 1988 'Waldo' / Waldo C. Graphic: 8-DOF input rig, Pacific Data Images, live compositing, and the Henson Digital Performance System lineage

question open 2026-07-11 · verification, animatronics, puppetry, computer-graphics, performance-capture
Does Hopfield's 1982 energy function derive specifically from the Sherrington–Kirkpatrick spin-glass model?

question open 2026-07-11 · hopfield-networks, spin-glass, ising-model, physics, history-of-ml
What is the classical Hopfield-network storage capacity, and does the ~0.14N figure trace to a primary source?

question open 2026-07-11 · hopfield-networks, associative-memory, capacity, verification, unverified-quant
Do IBM's reported 50%-to-37% market-share decline and raise-then-cut pricing strategy (1969-1982) trace to a primary antitrust record?

question open 2026-07-11 · ibm, antitrust, market-structure, unverified-quant
Does Irino's 2026 equilibrium-dynamics model of ITD readout survive peer review, and does it actually supersede Jeffress's place-coding — or merely reproduce the same data by a different route?

question open 2026-07-11 · neuroscience, sound-localization, jeffress-model, equilibrium-dynamics, preprint
Find a citable source that explicitly identifies SACC co-founder 'Jonathan Kabat, PhD '71' as Jon Kabat-Zinn, and confirm the SACC / March 4, 1969 facts against a primary

question open 2026-07-11 · mit, jon-kabat-zinn, mbsr, activism, verification
Verify the Kahan / Intel-8087 / IEEE-754 lineage against a primary Kahan source

question open 2026-07-11 · verification, ieee-754, william-kahan, intel-8087, floating-point
Verify against the primary 1931 Kubelka & Munk paper that the theory was framed for paint hiding-power / opacity

question open 2026-07-11 · color-science, kubelka-munk-theory, optics, primary-source-verification, history-of-science
Is Lakoff's claim that 'every frame is realized in the brain by neural circuitry' and strengthened by activation supported by independent neuroscience, or is it his own theoretical framing?

question open 2026-07-11 · neuroscience, cognitive-linguistics, framing, theory-confirmation, verification
Do Tier 1–2 sources confirm that Ibn al-Banna's Talkhīṣ contains lattice multiplication, and that the 12th-c. Lilavati-commentary 'Kapat-sandhi' is the same method?

question open 2026-07-11 · history-of-mathematics, lattice-multiplication, islamic-golden-age, translation-history, verification
Did Achim Leistner's hand-polishing ('atomic feeling') actually outperform machine methods on the Avogadro spheres, and is the account corroborated beyond the Powerhouse Museum caption?

question open 2026-07-11 · metrology, craftsmanship, tactile-cognition, verification, avogadro-constant
Does a primary or scholarly source confirm Lepsius as a founding practitioner of the epigraphic squeeze, and pin the size of his Egypt-expedition squeeze/cast corpus?

question open 2026-07-11 · epigraphy, archaeology, text-reproduction, verification, history-of-linguistics
Does a primary history-of-linguistics source confirm that Lepsius's Standard Alphabet failed to spread specifically because it was too hard to typeset — and corroborate the Lepsius→Ellis→Sweet→IPA lineage?

question open 2026-07-11 · history-of-linguistics, notation-systems, print-history, verification, standards-wars
Do Lewis & Postol (1993) state verbatim that the videos show no unambiguous evidence Patriot destroyed even one Scud warhead, and that the Army's claim fell to 52% with only 40% 'highest confidence'?

question open 2026-07-11 · patriot-missile, gulf-war, mit, verification-method, source-verification
Is the Widrow–Hoff LMS rule established as a stochastic gradient descent method by a Tier 1–2 primary source, not just Wikipedia?

question open 2026-07-11 · lms, widrow, hoff, sgd, stochastic-descent
Do the primary Mariel papers (Card 1990, Borjas 2015/2017, Peri & Yasenov) confirm the "no effect vs 10–30% dropout drop" figures?

question open 2026-07-11 · economics, labor-economics, immigration, mariel-boatlift, verification
What is the primary-source wording and framing of McGuire's 1961 origin of inoculation theory ("a vaccine for brainwash")?

question open 2026-07-11 · inoculation-theory, misinformation, prebunking, source-verification, history-of-psychology
Does a primary source document the specific reciprocal on-site monitoring under Megatons to Megawatts — Russian monitors at Portsmouth/Paducah, US monitors at Seversk/Ozersk/Novouralsk/Zelenogorsk?

question open 2026-07-11 · nonproliferation, nuclear-history, verification-methods, arms-control, primary-sources
Do primary/scholarly sources confirm that Mekh-mat's 'coffin problems' were deliberately unsolvable problems used to fail Jewish applicants?

question open 2026-07-11 · history-of-mathematics, soviet-union, antisemitism, academia, verification
Verify the primary source for the '20% metmyoglobin → half of consumers reject' fresh-meat threshold

question open 2026-07-11 · food-science, meat, myoglobin, quantitative-claim, primary-source-verification
Do the Danish FSA (June 2024) and EBA-ESMA (Jan 2025) primary texts actually define DAO 'decentralization' by whether one holder can meet quorum alone?

question open 2026-07-11 · regulation, mica, defi, dao, decentralization
Was the Material Point Method actually developed for penetration problems with Sandia National Laboratories funding, per the 1994 Sulsky–Chen–Schreyer primary paper?

question open 2026-07-11 · material-point-method, sandia, primary-source-verification, mechanism-verification, defense-research
Does a primary NASA record confirm the Ozone Processing Team investigated the Antarctic anomaly by August 1984 and concluded it was real by December 1984?

question open 2026-07-11 · ozone-hole, nasa, toms, verification, science-history
Does the 2024 Nature comment (Smith, Kirby, Guo, Griffiths) actually propose iterated learning as an explanation and fix for AI model collapse — in its own words?

question open 2026-07-11 · model-collapse, iterated-learning, cultural-evolution, source-verification, paywall
Verify against Neisser's 1981 primary text: the John Dean findings and the 'repisodic' coinage

question open 2026-07-11 · cognitive-psychology, memory, testimony, source-verification, neisser
Do current US state-level Nemeth-vs-UEB-Math instructional mandates split along the same lines as the 1871-1932 Braille/New York Point standards war?

question open 2026-07-11 · disability-history, braille, tactile-technology, standards-wars, accessibility-tech
What do the primary sources say about Ning Li's 1991 gravitomagnetic proposal and its 2011 replication?

question open 2026-07-11 · physics, antigravity, superconductivity, replication, verification
Verify the Nobel posthumous-award statute history against the Foundation's own statutes — pre-1974 exceptions, the 1974 change, and the Vickrey case

question open 2026-07-11 · nobel-prize, institutional-rules, verification, posthumous-award
Verify node-ipc's '~1 million weekly downloads' against a primary registry source

question open 2026-07-11 · node-ipc, npm, protestware, software-supply-chain, verification
Did Price's Northampton table overestimate mortality, and did that bias favour insurers over annuitants — confirm against a primary?

question open 2026-07-11 · actuarial-history, insurance, mortality-tables, historical-demography, source-verification
Does Novikov's memoir (and independent sources) confirm Pontryagin's role in blocking Margulis's 1978 Fields Medal travel and the '1/24' reply, verbatim?

question open 2026-07-11 · history-of-mathematics, soviet-union, antisemitism, fields-medal, verification
What are the primary-sourced founding dates, enrollment figures, and educational mechanism for the emergence of Nicaraguan Sign Language?

question open 2026-07-11 · linguistics, language-emergence, nicaragua, sign-language, verification
Is there a documented transmission line from Bell Labs classical control theory (Nyquist 1932, Bode) into 1950s–60s optimal control theory (Pontryagin, Bellman, Kelley, Bryson) — or only a periodization coincidence?

question open 2026-07-11 · control-theory, nyquist, bode, optimal-control, kelley
Can Oxford Authentication Ltd's ~3,000–3,500 items/year throughput, 90% ceramics share, and the 75% Hong Kong copy figure be sourced to primaries?

question open 2026-07-11 · thermoluminescence, archaeometry, art-forgery, verification, source-discipline
Re-read GAO/IMTEC-92-26 to verify verbatim the Patriot Dhahran time-drift mechanism (24-bit / 0.1, 0.3433 s, 687 m) and the Feb 11–26 warning/patch timeline

question open 2026-07-11 · verification, patriot-missile, gao-report, rounding-error, gulf-war
Verify the Pentium FDIV mechanism and the Nicely discovery story verbatim against Pratt 1995

question open 2026-07-11 · verification, pentium-fdiv-bug, thomas-nicely, srt-division, floating-point
Verify against Portelli's primary text: the 1949→1953 date displacement in the Trastulli oral testimonies and the exact quote

question open 2026-07-11 · oral-history, memory, testimony, source-verification, portelli
Did Richard Price's 1789 sermon directly provoke Burke's Reflections — confirm against the primary Price and Burke texts?

question open 2026-07-11 · actuarial-history, political-philosophy, enlightenment, revolution-controversy, source-verification
What is the exact quantity of HEU removed in Project Sapphire, per the declassified DTRA after-action report itself — is it ~600 kg verbatim?

question open 2026-07-11 · nonproliferation, nuclear-history, kazakhstan, verification, primary-sources
Does a primary or scholarly source corroborate the 1706 Diesbach/Dippel accidental discovery of Prussian blue?

question open 2026-07-11 · dye-chemistry, pigments, history-of-chemistry, verification, hop
What primary source characterizes why Prussian blue's lattice selectively binds monovalent Cs+/Tl+, and what are the measured biological half-life reductions?

question open 2026-07-11 · toxicology, radiological-medicine, radionuclides, mechanism, verification
Did Purdue establish the first US computer science department in October 1962, and does an independent primary source corroborate its priority over Stanford?

question open 2026-07-11 · computer-science-history, institutional-history, priority-dispute, verification, myth-ledger
Is there a primary benchmark (joules, seconds) showing a reconfigurable analog computer beating a digital solver on differential equations, or only the asymptotic 'constant solution time' claim?

question open 2026-07-11 · analog-computing, differential-equations, reconfigurable-analog, benchmark, verification
Does the Rothschild 1971 'customer-contractor' quote check out against the canonical Palgrave Communications paper or the original HMSO report?

question open 2026-07-11 · verification, victor-rothschild, uk-science-policy, sourcing, customer-contractor
Did Russia vote against the 2022 leap-second resolution to push the deadline to 2040, and does GLONASS's use of leap-second-adjusted UTC explain the objection?

question open 2026-07-11 · timekeeping, leap-second, GLONASS, GPS, geopolitics
Do Schoenberg's 1946 B-spline papers actually use 'graduation' in its actuarial sense, or is the insurance-origin story a later gloss?

question open 2026-07-11 · splines, schoenberg, actuarial-history, etymology, myth-correction
Verify the Sinai Palimpsests Project figures (74 palimpsests / 6,800 pages / 305 erased texts, 2011–2016) against a second or primary source

question open 2026-07-11 · sinai, palimpsest, multispectral-imaging, verification, manuscripts
What does Song Jian's original 1995 self-credit for the one-child policy actually say, in the Chinese source Greenhalgh translated?

question open 2026-07-11 · china, population-policy, one-child-policy, self-attribution, primary-source
Do the Huygens critical edition and Spinoza's Letter 32 verbatim support the 'Spinoza's dish still scratch-free in 1687' claim?

question open 2026-07-11 · history-of-science, optics, spinoza, tacit-knowledge, verification
Did Bertram Baxter's wagonway research actually establish that no standard gauge existed before Stephenson, and is 4'8.5" traceable to his 1829 practice?

question open 2026-07-11 · history-of-technology, standardization, myth-correction, verification, railroad-gauge
Do the IMS obituary's quotes confirm Stein's five-year delay for a non-Bayesian proof, and is the 'certain doctrine' remark his own words?

question open 2026-07-11 · history-of-statistics, bayesian-statistics, james-stein, verification, biographical-check
Verify against a Nobel Foundation primary that Steinman's 2011 award stood on 'good faith' — and pin down the self-treatment figures

question open 2026-07-11 · nobel-prize, immunology, verification, posthumous-award
Does a primary or scholarly source confirm that Texas kept its grid intrastate to avoid federal regulation under the 1935 PUHCA — and the 1976 'Midnight Connection' details?

question open 2026-07-11 · energy, grid, texas, ercot, regulation
Does Thatcher's 1986 'no evidence' statement on Rothschild check out against Hansard, and what do the primaries say about the Perry/Modin Fifth Man dispute?

question open 2026-07-11 · verification, victor-rothschild, cambridge-five, cold-war-espionage, sourcing
Verify that the term 'Third Man Factor' descends from Eliot's poem (and the Shackleton 'four, not three' wording) against primary sources

question open 2026-07-11 · verification, literature-science-bridge, etymology, exploration-history, hallucination
Did cheap Megatons-to-Megawatts Russian LEU actually cause USEC's 2014 bankruptcy, or was the American Centrifuge project's own cost overruns the driver — and what does a primary source say?

question open 2026-07-11 · nonproliferation, nuclear-history, commodity-economics, energy-policy, verification
Can van Meegeren's treason-to-forgery trial and the court-supervised painting of Jesus among the Doctors be confirmed against a Tier 1–2 source?

question open 2026-07-11 · art-forgery, wwii, criminal-law, verification, source-discipline
Corroborate the PHerc. 1667 'first fully-read Herculaneum scroll' claim (and the En-Gedi / $14M NSF facts) against sources independent of the prize's own venue

question open 2026-07-11 · vesuvius-challenge, herculaneum, en-gedi, virtual-unwrapping, verification
Verify the waldo-teleoperator lineage: Goertz's Argonne master–slave manipulator and The Character Shop's 'Waldo' trademark, against quote-fetched primary sources

question open 2026-07-11 · verification, etymology, nuclear-engineering, animatronics, teleoperation
Does the Wulf & McKee primary confirm the coining, date, and framing of the 'memory wall'?

question open 2026-07-11 · computer-architecture, memory-wall, history-of-computing, verification
Does Yen (2020) actually conclude the microlithography resolution formula is Abbe's, not Rayleigh's — and in what exact terms?

question open 2026-07-11 · history-of-science, optics, euv, lithography, misattribution
Is Zeiss genuinely the sole supplier of ASML's EUV projection optics, and does '80% of all microchips' hold against an independent source?

question open 2026-07-11 · semiconductor-economics, optics, euv, monopoly, supply-chain
Does Waddington's self-reported debt to Wiener's cybernetics rest on a primary source, or only on Tier 3–4 biography?

question open 2026-07-11 · waddington, cybernetics, wiener, developmental-biology, history-of-science
How does Bit2Watt's own reverse 'Watt2Bit' path allegedly exfiltrate data covertly via EMI side channels — and is it demonstrated or just proposed?

question open 2026-07-11 · hardware-security, side-channel, emi, covert-channel, bit2watt
Why do blind mathematicians' private notation systems seem not to transmit between them, while their methods and mentorship do?

question open 2026-07-11 · history-of-mathematics, disability, blindness, notation, transmission
Why did Congress move the US weather service from the Army Signal Service to the civilian Department of Agriculture in 1890–91?

question open 2026-07-11 · meteorology, institutions, military-history, weather-bureau, verification
Verify the CITES musical-instrument certificate's adoption date and operating terms against a CITES primary

question open 2026-07-10 · cites, law, conservation-biology, musical-instruments, verification
Do the Lukyanov Water Integrator's dates, purpose, and service history rest on more than one Tier-4 source?

question open 2026-07-10 · analog-computing, engineering-history, ussr, lukyanov, water-integrator
Do the MONIAC's £400 build cost and ~2% economic-accuracy figures rest on a primary source?

question open 2026-07-10 · analog-computing, economics-history, moniac, phillips, unverified-quant
Has Heuer's ACH ever been explicitly compared to expert-system backward chaining, or is the resemblance only an observed structural echo?

question open 2026-07-09 · intelligence-analysis, expert-systems, backward-chaining, ACH, cross-domain-bridge
Is blind mathematicians' independent reinvention of private notation a real recurring pattern, and why is there no visible transmission between cases?

question open 2026-07-09 · history-of-mathematics, disability, blindness, assistive-technology, pattern
Find a second independent account confirming the Fujitsu–Fairchild bid drove the Exon-Florio Amendment

question open 2026-07-09 · cfius, exon-florio, semiconductors, verification, myth-ledger-candidate
Do Cohere, Google, and Voyage embedding APIs show the same launch-to-launch price cuts as OpenAI's ada-002 → text-embedding-3?

question open 2026-07-09 · embeddings, inference-economics, pricing, openai, cohere
Were Lucky's (Bell Labs) and Widrow's (Stanford) adaptive-filter groups aware of each other in the mid-1960s, or did they converge on steepest-descent transversal filters independently?

question open 2026-07-09 · adaptive-filtering, bell-labs, widrow, lms-algorithm, signal-processing
Should the vault treat 'new-session onset' — a change in the deciding actor — as a distinct rewiring trigger, separate from and possibly more reliable than accumulated-strain detection?

question open 2026-07-09 · self-rewiring, punctuated-equilibrium, trigger, agent-memory, vault-governance
Is the conjunction-fallacy failure of quantum-like models a fatal flaw or a scope limit?

question open 2026-07-09 · quantum-cognition, conjunction-fallacy, scope-limit
Is Pronskikh's 'structural, not talent' account of the Soviet émigré career premium corroborated beyond his single 2026 preprint, and does it actually defeat the 'elite left first' account?

question open 2026-07-09 · history-of-science, sociology-of-science, soviet-science, migration, labor-markets
Did Gowers-era 'occupational neurosis' terminology actually get repetitive-strain injury reclassified as psychological, colliding with Freud's contemporaneous 'neurosis'?

question open 2026-07-09 · history-of-medicine, occupational-health, neurosis, freud, cross-time-bridge
Confirm Amazon's worker-tracking wristband patent numbers and mechanism against the USPTO primary

question open 2026-07-09 · wearables, labor-surveillance, patents, verification
Does the AstroForge PGM system-dynamics model actually produce the 'price holds then collapses' shape, and under what assumptions?

question open 2026-07-09 · economics, commodity-markets, asteroid-mining, system-dynamics, verification
Can the Atheist Bible's existence and scale be confirmed independently of Suchanek's own page — and does it cite any knowledge-graph or epistemics literature?

question open 2026-07-09 · biography, knowledge-graph, secular-humanism, verification
Verify the Barbier 'night writing' myth-correction against a primary source, and confirm the Henri-1952 → Roblin transmission chain that allegedly spread the soldier-code legend

question open 2026-07-09 · disability-history, braille, myth-correction, citogenesis, verification
Do Tier 1–2 scholarly sources (Encyclopaedia Iranica; de Blois 1990) confirm the Borzuya → Kalila wa-Dimna transmission chain, its dates, and the immortality-herb legend?

question open 2026-07-09 · translation-history, sasanian-persia, kalila-wa-dimna, panchatantra, verification
Is the Burevestnik's predicted radioactive exhaust corroborated by real-world detection data?

question open 2026-07-09 · nuclear, missile, radionuclides, verification, osint
Does the Carnegie Endowment piece confirm CnAISDA's bilingual name-order reversal and Andrew Yao's extinction quote verbatim?

question open 2026-07-09 · ai-safety-governance, china, verification, quotation
Are the pseudohistory claims Wikipedia attributes to Tertius Chandler actually his, and in what register?

question open 2026-07-09 · pseudohistory, historiography, wikipedia, source-criticism
Independently re-verify the Clarivate Highly-Cited-Researcher Saudi-affiliation counts (27→109→76) and the reported per-scientist payment figures against primary sources

question open 2026-07-09 · bibliometrics, citation-metrics, clarivate, highly-cited-researchers, saudi-universities
What are the primary-sourced thresholds for human conversational turn-taking latency and voice-call abandonment?

question open 2026-07-09 · voice-AI, latency, human-factors, conversation-analysis, verification
Read Kouwenhoven, Jude & Knickerbocker, 'Closed-Chest Cardiac Massage' (JAMA 1960) and confirm the accidental-discovery quant/mechanism

question open 2026-07-09 · cpr, defibrillator, history-of-medicine, cardiology, verification
What exactly did the 4C Entity's CPRM proposal specify, and what were the terms of T13's April 2001 rejection?

question open 2026-07-09 · computer-history, drm, cprm, open-source, verification
Does Chia et al. (2026, arXiv:2607.05586) explicitly connect its cricket-rulebook 'phase transitions' to the biological/organizational punctuated-equilibrium literature, or arrive at 'punctuated' change independently via statistical physics?

question open 2026-07-09 · complexity-science, regulatory-evolution, punctuated-equilibrium, phase-transition, santa-fe-institute
Are Gigerenzer's ecological rationality and Oaksford & Chater's rational analysis compatible or contested frameworks?

question open 2026-07-09 · rationality, bayesian-cognition, ecological-rationality, cognitive-science, verification
Verify against Wangrow, Schepker & Barker (2022) full text: is the succession→strategic-change effect mediated by whether the new CEO replaces the top management team?

question open 2026-07-09 · organizational-theory, executive-succession, source-discipline, primary-source-verification, self-rewiring
Does Faggin's *Irreducible* actually contain the 'silicon will never transmute into qualia' line, and is 'Quantum Information Panpsychism' (with D'Ariano) its accurate characterization?

question open 2026-07-09 · faggin, irreducible, consciousness, panpsychism, qualia
Do FICO's neural-network models actually score a majority of the world's card transactions — and what is the primary source for that figure?

question open 2026-07-09 · fico, hnc, fraud-detection, neural-networks, unverified-quant
Does any implicit-neural-representation paper actually cite fractal/IFS/WFA image compression — is the 'image as a compact function' lineage real or only a structural rhyme?

question open 2026-07-09 · fractal-compression, implicit-neural-representations, siren, nerf, image-compression
Locate Eugene Garfield's primary text for his warnings that the impact factor should not be used to evaluate individuals, to replace the Tier-4 Wikipedia citation

question open 2026-07-09 · bibliometrics, citation-metrics, impact-factor, garfield, verification
Does GIFT's claimed 7.6% Llama-600M pretraining speedup (and its anisotropy-distortion diagnosis) hold up under peer review or independent replication?

question open 2026-07-09 · gradient-geometry, quantization, distributed-training, quant-verification, primary-source-verification
Did medieval judicial torture exist specifically to convert a 'half-proof' into the 'full proof' of a confession?

question open 2026-07-09 · legal-history, law-of-evidence, canon-law, torture, verification
Did mainstream population genetics accept the 2007 'human adaptive evolution accelerated one-to-two orders of magnitude' claim, or was it rebutted?

question open 2026-07-09 · population-genetics, human-evolution, evolutionary-rates, source-criticism
Are the race-science quotes SPLC attributes to Henry Harpending corroborated by primary recordings or transcripts?

question open 2026-07-09 · scientific-racism, biography, source-criticism, population-genetics
Did Harvard's Administrative Board actually investigate Bill Gates's use of the university PDP-10 for commercial software work?

question open 2026-07-09 · computer-history, microsoft, altair, verification, unverified
Verify Hirsch's forensic critique, the 'data alteration and manipulation' quote, and the Sept 2022 Nature retraction of Dias's room-temperature superconductivity paper against primaries

question open 2026-07-09 · research-integrity, fraud-detection, physics, superconductivity, hirsch
Did LabVIEW and Max independently invent the patch-cord dataflow metaphor, or do both descend from a common ancestor (e.g. Jack Dennis's MIT dataflow work)?

question open 2026-07-09 · dataflow, visual-programming, labview, max, history-of-computing
Do LBNL's 'Queued Up' primary figures confirm the ~2,600 GW queue total and ~5-year median interconnection time?

question open 2026-07-09 · energy, grid, interconnection, verification, quant
Verify LeCun's account of DjVu's free-books purpose and the free NIPS 0–13 archive, and check whether nips.djvu.org has rotted

question open 2026-07-09 · djvu, lecun, nips, free-knowledge, link-rot
Re-read the Lighthill 1973 report PDF and confirm the combinatorial-explosion and general-problem-solving quotes verbatim

question open 2026-07-09 · lighthill-report, ai-winter, symbolic-ai, verification, history-of-ml
Did commercial deployment of Lucky's adaptive equalizer raise voiceband data rates to 9600 bps (4× the ~2400 ceiling), and is that figure in any primary source?

question open 2026-07-09 · adaptive-filtering, bell-labs, telecommunications, primary-source-verification, quant-verification
Do Microcosmos's scaling benchmark (linear to ~500k particles on one L40S) and its four experimental results hold up against the primary paper's own figures?

question open 2026-07-09 · artificial-life, gpu-simulation, quant-verification, primary-source-verification, microcosmos
Verify the Nakamoto–Dai b-money quote and the 'unaware of Szabo's bit gold' claim against the primary archive

question open 2026-07-09 · verification, bitcoin, nakamoto, cryptocurrency, distributed-systems
Do OpenAI's text-embedding-3 line and nomic-embed-text-v1.5 actually implement Matryoshka Representation Learning?

question open 2026-07-09 · embeddings, matryoshka-representation-learning, openai, nomic, retrieval
Do the primary texts of Gersick (1991) and Tushman & Romanelli (1985) actually contain the punctuated-equilibrium mechanism phrasings the vault has recorded?

question open 2026-07-09 · organizational-theory, punctuated-equilibrium, primary-source-verification, gersick, tushman-romanelli
Confirm against a standalone 1969 first-edition scan of Perceptrons that 'credit-assignment' is absent from the original text (present only in the 1988 Epilogue)

question open 2026-07-09 · perceptrons, minsky-papert, credit-assignment, primary-source-verification, history-of-ml
Does the 2021 Foreign Policy critique of Seshat actually say the "moralizing gods" pattern is "just results of omissions and lacunas in the underlying databases"?

question open 2026-07-09 · cliodynamics, seshat, turchin, verify-quote, historiography
Does Richard Sutton's 1984 PhD dissertation actually use the phrase 'structural credit assignment' — the field-lore origin of the term?

question open 2026-07-09 · credit-assignment, structural-credit-assignment, sutton, terminology, history-of-ml
Can Telnyx's voice-AI colocation architecture (GPUs in 17 telephony PoPs, on-net MPLS pipeline) be confirmed outside its own marketing?

question open 2026-07-09 · voice-AI, infrastructure, telecom, latency, Telnyx
Verify the Toshiba-Kongsberg 'Soviet submarine detection range cut ~50%' figure against a primary source

question open 2026-07-09 · toshiba-kongsberg, cold-war, submarine, verification, export-controls
Does Tushman, Newman & Romanelli (1986) actually contain the '3× more likely' frame-breaking-change figure, read against the primary?

question open 2026-07-09 · organizational-theory, punctuated-equilibrium, executive-succession, quantitative-claim, primary-source-verification
Does Whitman's 'The Origins of Reasonable Doubt' actually argue the standard began as juror soul-protection, and does the field accept it?

question open 2026-07-09 · legal-history, law-of-evidence, reasonable-doubt, theology, verification
Do Steinbuch & Widrow 1965 and Widrow's 1966 'Bootstrap Learning' actually document the abandoned multilayer-training attempt — and what does Widrow's oral history say about the 1985 return?

question open 2026-07-09 · widrow, madaline, multilayer-perceptron, backpropagation, history-of-ml
Did the US government ever formally retract the 1981 'Yellow Rain' chemical-weapons accusation against the USSR?

question open 2026-07-09 · cold-war-history, chemical-weapons, verification, yellow-rain
Does Perceptrons (1969) p. 232 contain the 'intuitive judgment … sterile' passage verbatim?

question open 2026-07-07 · verification, perceptrons, minsky-papert, primary-source
Should the MJ Rathbun case be cited in seek-safety-spec's next review, or stay a claim-note only?

question closed 2026-07-06 · safety-spec, rathbun, publish-gate, spec-governance
Does the vault need a consolidation pass (Dreams/decay-style global reorganization), or do forward-hooks + vault-lint already cover reconciliation?

question open 2026-07-06 · agent-memory, consolidation, revisit-protocol, reconciliation, peer-field
The vault crossed the 50-note embedding threshold on 2026-07-06 — wire the local semantic-retrieval pass (Q3c)

question open 2026-07-06 · embeddings, retrieval, north-star, threshold, local-model
Pull citation data for Linnainmaa 1970/1976 to verify the claim that the work was essentially uncited before the 2010s

question open 2026-06-26 · linnainmaa, backpropagation, citation-analysis, verification, history-of-computation
How should SeekVault detect gaps in its own knowledge?

question open 2026-05-15 · meta, future-spec, gap-detection, dynamical-systems

Answered (73)

Does Clarivate itself attribute the 2022→2023 Saudi-affiliated HCR count drop (109→76) to its tightened evaluation methodology, or is that link only SIRIS Academic's inference?

question answered 2026-07-29 · bibliometrics, citation-metrics, clarivate, highly-cited-researchers, saudi-universities
Does an independent full-text read of Garfield's 1980 essay confirm no mention of Tertius Chandler anywhere, including footnotes and bibliography?

question answered 2026-07-27 · multiple-discovery, sociology-of-science, historiography, source-criticism, citation-science
Is GIFT's K-FAC gradient factor G = E[δδ⊤] the true Fisher (model's sampled predictive distribution) or the empirical Fisher (real training labels) — and does the difference weaken the GIFT–Amari 'same object' bridge?

question answered 2026-07-25 · gradient-geometry, fisher-information, empirical-fisher, k-fac, natural-gradient
Is the DIA's 'Advanced Aerospace Weapon System Applications (AAWSA) Program' — the name used in the primary DIRD-015 document — the same program publicly known as AATIP, or a related-but-distinct effort?

question answered 2026-07-25 · defense-funding, aatip, dia, verification
Does Wuchty, Jones & Uzzi (2007) actually state '1.9 to 3.5 authors, 1955-2000' verbatim, and what is the exact sentence?

question answered 2026-07-25 · verification, team-science, burden-of-knowledge, wuchty-jones-uzzi, quantitative-claim
Can the AATIP $22M budget figure and the 2010 antigravity-report authorship be confirmed from a primary or better-sourced record?

question answered 2026-07-24 · defense-funding, aatip, antigravity, verification, quant
Does a primary or archival source confirm the Amicable Society split its fixed annual dividend fund among claimants proportional to shares held, rather than equally per claim?

question answered 2026-07-23 · actuarial-history, insurance, institutional-history, mechanism, verification
Does the 'Statistics' section (~p.35) of Richards' 1896 Aluminium monograph contain the $2/lb-1889 and $0.5/lb-1894 figures Hanners attributes to it?

question answered 2026-07-22 · economics, commodity-markets, aluminium, price-history, hall-heroult
Does StereoMath (2024) cite AsTeR/Emacspeak for the pitch-encodes-vertical-position mapping, or present it as novel? (rediscovery vs. acknowledged lineage)

question answered 2026-07-18 · verification, sonification, accessibility, computer-music, cross-time-bridge
Verify verbatim: AsTeR's audio-formatting quotes (pitch for superscripts, nesting as audio 'distance') from Raman's 1994 thesis page node72

question answered 2026-07-18 · verification, sonification, accessibility, blind-mathematicians, math-notation
Does Benkard (2000) report the organizational-forgetting depreciation rate (~0.96 monthly, ~61% of experience surviving a year) that the L-1011 learning-reversal claim rests on?

question answered 2026-07-18 · economics, learning-curve, organizational-forgetting, aircraft-manufacturing, sourcing
Does any secondary source document an *acknowledged* Brooks–Dreyfus link, or does the "lineage" live entirely in later commentators reading the two same-titled papers side by side?

question answered 2026-07-12 · brooks, dreyfus, subsumption, robotics, anti-representation
Is 'catastrophic vs. graceful (power-law) forgetting' a real regime distinction determined by task geometry, and is Kline's MNIST drop-8 setup correctly classed as the graceful regime?

question answered 2026-07-12 · catastrophic-forgetting, continual-learning, forgetting-curve, neuro-AI-parallel, verification
Does Direct Coupling Analysis of epistasis in allosteric mechanical materials (arXiv:1811.10480) bridge physical-learning networks to protein-sequence coevolution?

question answered 2026-07-12 · physical-learning, allostery, direct-coupling-analysis, protein-coevolution, epistasis
Did Herbert Simon ever comment on the perceptron controversy or on connectionism directly?

question answered 2026-07-12 · herbert-simon, minsky-papert, perceptrons, connectionism, ai-history
Does the Fresh Start Effect / temporal-landmark literature extend from individuals to collective or organizational fresh starts?

question answered 2026-07-12 · fresh-start-effect, temporal-landmark, organizational-behavior, cross-domain-analogy, rebranding
Does Hotelling's rule for exhaustible-resource pricing predict a different shape than the vault's cost-of-production / unforgeable-costliness cluster?

question answered 2026-07-12 · economics, resource-economics, hotelling-rule, cost-of-production, value-theory
Does Gene Hunt's 2007 survey of ~250 fossil lineages (stasis and random walk dominate, directional trends rare) narrow the strong punctuated-equilibrium claim the vault records?

question answered 2026-07-12 · evolutionary-biology, punctuated-equilibrium, stasis, quantitative-paleobiology, gene-hunt
Does the Information Bottleneck ('learning is forgetting') actually explain deep-network critical periods, and is its compression phase even universal?

question answered 2026-07-12 · information-bottleneck, critical-periods, tishby, saxe, information-plasticity
Why does the intrinsic dimension of fine-tuning fall as models get larger — and does that make bigger models geometrically safer to adapt?

question answered 2026-07-12 · dimensionality, fine-tuning, intrinsic-dimension, scaling, LoRA
Is resource-rational analysis (Lieder & Griffiths) the tightest convergence point of Werbos's approximate dynamic programming and Anderson's rational analysis?

question answered 2026-07-12 · resource-rationality, rational-analysis, approximate-dynamic-programming, werbos, bounded-optimization
Do persistent-homology-based neural-network generalization diagnostics share the Byzantine trade-network study's hub-selection / sampling-artifact vulnerability?

question answered 2026-07-12 · persistent-homology, topological-data-analysis, sampling-artifact, generalization, methodology
What primary source supports the Hall-Héroult era aluminium price figures ($16/lb 1884 → $2/lb 1889 → $0.5/lb 1894)?

question answered 2026-07-12 · economics, commodity-markets, aluminium, sourcing, price-history
What is the primary energy-budget split in Attwell & Laughlin 2001, and does signaling (action potentials ~47% + postsynaptic effects ~34%) total ~81% of grey-matter signaling energy?

question answered 2026-07-12 · neuroenergetics, verification, unverified-quant, inference-economics, cross-domain-bridge
Does Barlow's 1961 primary actually state the redundancy-reduction / factorial-code hypothesis as the vault attributes it?

question answered 2026-07-12 · neuroscience, efficient-coding, redundancy-reduction, horace-barlow, verification
Does Berger & Pope (2011) itself carry the 5.8–8.0 pp halftime-deficit figure and the loss-aversion attribution the vault recorded?

question answered 2026-07-12 · behavioral-economics, loss-aversion, sports, primary-source-verification, reference-points
Does Anthropic's biology-of-an-LLM report say the model's refusal circuitry activates primarily at sentence boundaries?

question answered 2026-07-12 · chain-of-thought, interpretability, anthropic, attribution-graphs, jailbreak
Does Anthropic's biology-of-an-LLM report state that steering the planned rhyme word changed the completion in ~70% of resamples?

question answered 2026-07-12 · chain-of-thought, interpretability, anthropic, attribution-graphs, poetry
Does the Hinman Collator's design actually derive from Pulfrich's blink comparator and Hinman's WWII aerial-reconnaissance work?

question answered 2026-07-12 · verification, history-of-the-book, bibliography, collation, cross-domain-bridge
Does "Physical networks become what they learn" (arXiv:2406.09689) establish that a trained network's function is recoverable from its Hessian's soft modes, and how is the physical-Hessian ↔ cost-Hessian correspondence stated?

question answered 2026-07-12 · physical-learning, structure-function, soft-modes, verification, allostery
Does the primary text of Reed & DeFillippi (1990) support the assembled 'tacitness...causal ambiguity...barriers to imitation' quote as a continuous phrase?

question answered 2026-07-12 · causal-ambiguity, tacit-knowledge, strategy-literature, verification, sourcing-discipline
Does head-down bed rest quantitatively track spaceflight bone/calcium loss, and by how much does it under-run actual orbital losses?

question answered 2026-07-11 · space-medicine, aerospace-physiology, bone-density, verification, disuse-osteoporosis
Do C2PA, Open Policy Agent, and study preregistration actually match the append-only-log-as-truth criterion, or only the broader 'gate at admission, verdict elsewhere' pattern?

question answered 2026-07-11 · append-only, event-sourcing, provenance, c2pa, cross-domain-bridge
Does ICLE's 'competition for the market' (node-by-node semiconductor races) map formally onto Van Valen's constant-extinction-probability, or only metaphorically?

question answered 2026-07-11 · compute-economics, semiconductors, rocks-law, red-queen, cross-domain-bridge
Are Geobacter's conductive 'nanowires' protein pili or stacked cytochromes — and did Malvankar break from Lovley's pili model?

question answered 2026-07-11 · electromicrobiology, geobacter, nanowire, priority-dispute, needs-primary
Did Lakoff & Johnson's frame semantics and Kahneman & Tversky's 'framing effect' develop with any cross-influence, or are they genuinely independent traditions that converged on the same word?

question answered 2026-07-11 · framing, cognitive-linguistics, behavioral-economics, prospect-theory, intellectual-lineage
Does the 'deep-lineage myth displacing contingent truth' shape recur across enough vault domains to warrant a myth-correction-as-historiography MOC?

question answered 2026-07-11 · historiography, myth-correction, citogenesis, pattern-watch, moc-candidate
Does Siggia et al.'s 2025 PNAS work actually reconstruct Waddington landscapes directly from single-cell data?

question answered 2026-07-11 · waddington, single-cell, developmental-biology, siggia, systems-biology
Does Skinner's 'mythology of prolepsis' (1969) name the error side of the vault's back-projection misattributions?

question answered 2026-07-11 · skinner, historiography, anachronism, argument-from-silence, prolepsis
How did the Amicable Society actually price life assurance — did it pool members without age-rating and split a fixed dividend among survivors?

question answered 2026-07-11 · actuarial-history, insurance, mechanism, institutional-history, verification
Does Barnett's own data show computer manufacturing exhibiting Red Queen competitive dynamics, or is that only the publisher's framing?

question answered 2026-07-11 · organizational-theory, red-queen, william-barnett, computer-industry, verification
Does Bit2Watt's own related-work section cite Kocher 1999 (DPA) and/or Zhao & Suh 2018 (FPGA remote power side-channel) as direct ancestry?

question answered 2026-07-11 · hardware-security, side-channel, power-grid, cross-time-bridge, verification
Does a primary source confirm CRISP's '20 hours to less than a second' DNA-alignment speedup from processing-in-memory?

question answered 2026-07-11 · processing-in-memory, genomics, sequence-alignment, verification, quant
Did Dodson explicitly frame his 1756 age-scaled premium scheme as a response to his own rejection by the Amicable Society?

question answered 2026-07-11 · actuarial-history, insurance, exclusion-driven-innovation, verification
Do Efron & Hastie's CASI Ch. 7 confirm the James-Stein domination statement and the .0425 vs .0218 baseball SSE figures?

question answered 2026-07-11 · statistics, shrinkage-estimation, james-stein, verification, quant-check
Verify the Blanke 2002 (Nature) and 2014 (Current Biology) quotes verbatim against the primary papers

question answered 2026-07-11 · verification, neuroscience, hallucination, angular-gyrus, feeling-of-a-presence
Does breast acceleration during running actually exceed a Formula 1 car's g-force, and what is the primary figure?

question answered 2026-07-11 · biomechanics, sports-science, unverified-quant, breast-health, verification
Source the 20th-century harpsichord-revival craft history (piano-frame revival reversed toward Baroque light construction) to a citable primary or secondary

question answered 2026-07-10 · craft, musical-instruments, harpsichord, historically-informed-performance, verification
Is 'append-only log as source of truth, record separated from verdict' a genuine cross-domain convergence, or a two-point coincidence?

question answered 2026-07-09 · append-only, evidence-ledger, event-sourcing, cross-domain-bridge, ai-governance
Does Rodney Brooks's 1991 "Intelligence Without Representation" actually build on Dreyfus's anti-representation critique, and how explicitly?

question answered 2026-07-09 · brooks, dreyfus, subsumption, robotics, anti-representation
Does Chu's quantum opinion-dynamics model make a falsifiable prediction that distinguishes it from Friedkin–Johnsen on real data?

question answered 2026-07-09 · quantum-cognition, opinion-dynamics, network-science, falsifiability
Is 'gradient geometry' one shared mathematical object across GIFT's isotropy transform, Amari's natural gradient, and GRADE's subspace rank — or three superficial analogies?

question answered 2026-07-09 · gradient-geometry, natural-gradient, fisher-information, anisotropy, subspace-rank
Which wearable-pretraining design choices actually win in the Inertia-1 sweep, and by how much?

question answered 2026-07-09 · foundation-models, wearables, self-supervised-learning, ablation, verification
Does OWASP's emerging AISVS (AI Security Verification Standard) formally codify agent-TOCTOU, and does it distinguish it from database 'lost update'?

question answered 2026-07-09 · ai-agent-security, toctou, owasp, aisvs, race-conditions
Do the Soviet Scientists Immigration Act of 1992's specifics — 'exceptional ability' classification, job-offer waiver, 1996 lapse, 2006 expiry — check out against the statute itself?

question answered 2026-07-09 · history-of-science, soviet-science, migration, immigration-law, verification
Confirm AstroForge's extraction method and DeepSpace-2 mission date against a Tier 1–2 primary source

question answered 2026-07-09 · space-industry, asteroid-mining, company-profile, verification
Do the primary texts (Eldredge & Gould 1972, Mayr 1954) confirm the biological punctuated-equilibrium quotes and the 'derived from Mayr' framing the vault has recorded?

question answered 2026-07-09 · evolutionary-biology, speciation, ernst-mayr, punctuated-equilibrium, primary-source-verification
Does a Tier 1–2 source confirm that Daniel Bomberg's 1520–23 Venice edition fixed the standard Talmud page layout?

question answered 2026-07-09 · print-history, talmud, accretion, verification, history-of-the-book
Read the full text of Ferris et al. 1936, 'Effect of Electric Shock on the Heart' (BSTJ 15(3)) and confirm what the paper actually reports

question answered 2026-07-09 · bell-labs, history-of-medicine, electrical-safety, cardiology, verification
Verify against a primary CIE / colorimetry source: (a) that CIELAB (1976) was designed for perceptual uniformity, and (b) that it is known to fall short particularly in blue hues

question answered 2026-07-09 · color-science, cielab, colorimetry, perceptual-uniformity, primary-source-verification
Independently re-verify the Wilhite & Fong (2012) coercive-citation figures and the DORA (2013) declaration text against their primary sources

question answered 2026-07-09 · bibliometrics, citation-metrics, dora, verification, source-criticism
Confirm the 1998 DjVu paper's six-author roster and citation against an independent bibliographic catalog

question answered 2026-07-09 · djvu, lecun, bengio, bottou, bibliography
Do the Future of Life Institute's Summer 2026 AI Safety Index scores match the figures recorded in the vault?

question answered 2026-07-09 · ai-safety-index, china, verification, quantitative
Do the full-text primaries confirm, verbatim, Halley's 1716 'telescopes and good common clocks' passage and Scharf 2007's Halley-ancestor opening line?

question answered 2026-07-09 · verification, astronomy, history-of-science, parallax, transit-of-venus
Verify Lamport's own account of the Paxos / 'Part-Time Parliament' rejection and 1990→1998 publication delay

question answered 2026-07-09 · verification, paxos, lamport, distributed-systems, history-of-cs
Verify the r = −.82 QQ-equality correlation figure against the 2014 PNAS paper

question answered 2026-07-09 · verify, quantum-cognition, quant-check, survey-methodology
Does US Patent 1,869,178 confirm A.L. Thuras as the bass-reflex enclosure inventor, filed August 1930?

question answered 2026-07-09 · acoustics, bass-reflex, thuras, bell-labs, patent
Verify Ann Hardy's authorship of the Tymshare SDS-940 OS and Norman Hardy's disclaimer against the primary oral-history transcript

question answered 2026-07-09 · computer-history, credit-misattribution, tymshare, verification, oral-history
Did Tertius Chandler actually argue the 'simultaneous discoveries are repackagings' thesis — and is that Chandler the urban historian?

question answered 2026-07-09 · multiple-discovery, sociology-of-science, historiography, source-criticism
Does the surviving original Microsoft/Altair BASIC source listing confirm Davidoff's credit comment and his omission from the copyright notice?

question answered 2026-07-09 · computer-history, credit-misattribution, microsoft, altair, verification
What real benchmark did the "SKBench" citation mean — and what actually measures LLM self-knowledge?

question answered 2026-07-07 · gap-detection, introspection, self-knowledge, benchmark, citation-repair
Is "training-vs-inference compute asymmetry" the missing bridge note between the vault's two biggest clusters?

question answered 2026-07-06 · gap-detection, missing-bridge, inference, backpropagation, compute-economics
Read Griewank 2012 directly to verify: (a) the backward-pass structural description of Linnainmaa's algorithm, and (b) the Copenhagen park anecdote

question answered 2026-06-26 · linnainmaa, reverse-mode-ad, automatic-differentiation, verification, griewank