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 (147)

Does Marta Balinska's own text in For the Good of Humanity name the Senate Internal Security Subcommittee/James O. Eastland, or does it use the same generic 'McCarthyism' framing every secondary account of it repeats?

question open 2026-09-15 · ludwik-rajchman, marta-balinska, mccarthyism, senate-internal-security-subcommittee, james-o-eastland
Does Turnbull's 2009 Coals from Newcastle or Hope-Dodds's 1930 Northumberland County History confirm Heaton Banks colliery's 1745 closure date, and do either record a waggonway gauge?

question open 2026-09-15 · history-of-technology, standardization, railroad-gauge, verification, wagonways
Is there a contemporaneous (1971-72) record independently corroborating Ingo Swann's account of proposing "remote viewing" on December 8, 1971?

question open 2026-09-15 · remote-viewing, stargate, priority-dispute, cold-war-science, single-witness
Do the Kiel, Matheson & Golembiewski (2009) and Pooley & Tupy (2020) resampling papers support the 61.2% and 54.2% win-rate figures attributed to them?

question open 2026-09-14 · verification, simon-ehrlich-wager, statistics, unverified-quant
Does LLM citation-popularity bias measurably compound across successive training generations as LLM-selected citations re-enter training corpora?

question open 2026-09-13 · chatgpt, llm, citation-metrics, matthew-effect, model-collapse
Does a direct read of Charles Perrow's 1984 Normal Accidents confirm Williams & Yampolskiy's summary of Normal Accident Theory?

question open 2026-09-13 · normal-accident-theory, charles-perrow, unverified-secondary-citation, primary-source-needed
Does a third object-level false-friend note (e.g. Hawks-Jeffress, or Liang-1979/Olsder-1975) also cosine-match the Puckette-Petiška meta-note at ~0.87 and resolve false friend by the same mechanism?

question open 2026-09-13 · embedding-false-friend, jingle-fallacy, bridge-investigation, meta-vault, cosine-similarity
When did Friedrich Hayek first use the term 'spontaneous order' in his own published work — and is Polanyi's 1948 priority secure?

question open 2026-09-12 · friedrich-hayek, michael-polanyi, spontaneous-order, priority-of-discovery, verification
Do An Wang's 1949 and Jay Forrester's 1951 core-memory patent filing dates hold up against the patents themselves or a peer-reviewed history?

question open 2026-09-11 · computing-history, patent-history, jay-forrester, an-wang, quote-verification
Did the Howgate embezzlement scandal and the January 1888 Plains blizzard deaths actually carry causal weight in Congress's 1890 decision to transfer the weather service to Agriculture, or only coincide with it?

question open 2026-09-10 · meteorology, institutions, military-history, weather-bureau, congress
Does Stroud's 2022 Pluralist article's China-comparison opening survive verbatim into the 2023 book, and does the book's own bibliography cite China-side Dewey scholarship (Wang 2005, Keenan, Behuniak, Schwartz)?

question open 2026-09-10 · john-dewey, hu-shih, b-r-ambedkar, scott-stroud, china
Read Li Xiuzhen's 1980 Renkou Yanjiu article directly: does the earliest contemporaneous account frame the June 1978 leading-group meeting as the one-child policy's starting point, or as a preliminary step toward the 1980 launch?

question open 2026-09-09 · china, population-policy, one-child-policy, historiography, greenhalgh
Locate and directly read Zhang, Glassman, et al.'s 2026 'How Notations Evolve' to confirm its quotes and recover its URL/DOI

question open 2026-09-09 · history-of-notation, hci, sourcing, verification
Does Nicholas Agar's 1998/2004 'liberal eugenics' writing cite or engage Robert Nozick's 'genetic supermarket' directly, or is the link a later commentator's framing?

question open 2026-09-08 · nicholas-agar, robert-nozick, liberal-eugenics, genetic-supermarket, citation-verification
Does Maslow's The Psychology of Science (1966, pp. 15–16) actually read 'I suppose it is tempting, if the only tool you have is a hammer, to treat everything as if it were a nail,' read directly rather than via Quote Investigator?

question open 2026-09-08 · quote-investigation, misattribution, law-of-the-instrument, maslow, verification
Does independent reporting beyond the 2024 Guardian/Hope Not Hate piece corroborate Heliospect Genomics' polygenic IQ-scoring of IVF embryos?

question open 2026-09-05 · heliospect-genomics, polygenic-embryo-selection, ai-genomics, verification
Does the measurement-theory or statistics literature already name the general pattern behind the Garfield/Seglen and Steck/Ekanadham/Kallus warnings — a scalar aggregate substituted for a property it cannot measure?

question open 2026-08-31 · measurement, ecological-fallacy, goodharts-law, bibliometrics, cosine-similarity
Can Pierre Goodrich's China Institute of America trusteeship (1948-65) and his 1950-51 meeting with Y.P. Mei at Wabash College be corroborated independently of Liberty Fund's own history page?

question open 2026-08-31 · china, liberty-fund, pierre-goodrich, china-institute-of-america, y-p-mei
Does the Carlton & Williams Willington Waggonway excavation report actually support dating the full 4 ft 8.5 in gauge to 1785, and how does it square with the 'belated 1829 half-inch' account?

question open 2026-08-31 · history-of-technology, standardization, railroad-gauge, verification, wagonways
Verify Intel's own White Paper (Sharangpani & Barton 1994) directly for the FDIV table-generation script-error attribution

question open 2026-08-26 · verification, pentium-fdiv-bug, sb94, srt-division, floating-point
Did Max van der Stoel meet Jan Patočka on 1 March 1977 or in January 1977 — and does the archive's own 1996 recording settle the discrepancy?

question open 2026-08-26 · czechoslovakia, charter-77, patocka, sokol, verification
What does a contemporaneous or primary source say about Jan Patočka's March 1977 death and StB interrogation?

question open 2026-08-25 · czechoslovakia, charter-77, patocka, stb, verification
Does Li & Torr's 1992 APS conference abstract itself state 'provide a basis for the electrical generation of gravitational fields in the laboratory,' as a 2010 DIA survey document quotes it?

question open 2026-08-24 · fringe-science, physics, antigravity, superconductivity, gravitomagnetism
Do Li & Torr's 1992 Physical Review B paper and the 1994 UAH preprint (Li, Torr & Karwacki) actually state that rotating ions in a superconductor could generate a usable antigravity field?

question open 2026-08-23 · physics, antigravity, superconductivity, ning-li, primary-source-verification
Does Parfitt 2002 (Böcker's ref 21) actually support 'trabecular bone turns over faster than cortical bone,' or does its title-flagged 'misconception' complicate the premise beneath the whole spaceflight/bed-rest compartment cluster?

question open 2026-08-22 · space-medicine, aerospace-physiology, bone-density, trabecular-cortical, bone-turnover
Does SAND-91-7095's full text confirm its abstract's mechanism description and pin down an exact 1991 vs. 1992 date?

question open 2026-08-22 · material-point-method, sandia, sulsky, primary-source-verification, history-of-computing
Does a Tier 1–2 primary (RAND personnel/project records, Isaacs's own writing, or Nash's or Blackwell's own testimony) confirm Rufus Isaacs, John Nash, and David Blackwell were direct RAND colleagues, not just co-listed alumni of different eras?

question open 2026-08-22 · rand-corporation, rufus-isaacs, john-nash, david-blackwell, primary-verification
Can 1979 Moscow Helsinki Monitoring Group Document No. 112 ('Discrimination against Jews entering the university') be located and read, to confirm it — not 'Intellectual Genocide' — is the true source of the Mekh-mat 47-vs-40 admission table?

question open 2026-08-21 · history-of-mathematics, soviet-union, antisemitism, academia, mekh-mat
Can B.I. Kanevskii & V.A. Senderov's 1980 samizdat report 'Intellectual Genocide' be located and read directly, to verify the Mekh-mat/MIFI/MFTI admission-rate figures Shen reproduces?

question open 2026-08-20 · history-of-mathematics, soviet-union, antisemitism, academia, mekh-mat
Does a second independent source corroborate the '115 organizations in 40 cities' Lukyanov-integrator deployment figure (mid-1970s) and the early-1980s digital-displacement point?

question open 2026-08-18 · analog-computing, engineering-history, ussr, lukyanov, water-integrator
Was Woeser genuinely the only Tibetan among Charter 08's original ~303 signatories?

question open 2026-08-18 · china, tibet, charter-08, source-verification
Is Olsder's account of a 1975 Chinese delegation visit to the University of Twente corroborated by any Chinese-language or archival record?

question open 2026-08-14 · china, population-policy, one-child-policy, historiography, cold-war-science
Does Liang Zhongtang's unnamed '1978 academic visit to Europe' correspond to the 1978 IFAC World Congress in Helsinki that Greenhalgh's account names?

question open 2026-08-13 · china, population-policy, one-child-policy, historiography, cold-war-science
Verify, against a clean primary text, that Dawid & Skene (1979) proposes weighting each observer's vote by 'his previous performance'

question open 2026-08-13 · dawid-skene, crowdsourcing, RAG, unverified-quote, primary-source-verification
Verify the absence of citation lineage between ML catastrophic-forgetting research and organizational-forgetting research via a proper bibliometric check

question open 2026-08-11 · catastrophic-forgetting, organizational-forgetting, citation-analysis, source-verification
Verify Hargens & Schuman (1990)'s own figures on department-level use of citation data in hiring, tenure, promotion, and salary decisions, and confirm the source of the '5,000 departments by 1998' estimate

question open 2026-08-09 · bibliometrics, citation-metrics, research-assessment, verification, quantitative-claims
Do the vault's English renderings of Liang Zhongtang's 2009 essay (CUHK, 二十一世紀) match a published or independently-checked translation?

question open 2026-08-09 · china, population-policy, one-child-policy, historiography, primary-source
Does Robert Kahn's own September 1982 proposal document confirm the 'quintuple U.S. spending' figure attributed to it?

question open 2026-08-02 · darpa, strategic-computing-initiative, fifth-generation, robert-kahn, verification
Did the Chater/Oaksford camp reply to Brighton's 2006 cross-validation reanalysis of the take-the-best result — and does the reversal stand?

question open 2026-08-01 · rationality, ecological-rationality, rational-analysis, take-the-best, model-selection
The cricket-Laws branch now rests three claim-notes on a single unrefereed preprint (arXiv:2607.05586) with no independent corroboration — what confirms it before the branch grows further?

question open 2026-08-01 · single-source-cap, corroboration, complexity-science, regulatory-evolution, cricket
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
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
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
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
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
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 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 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
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
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
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
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
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
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
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
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 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
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
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 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
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
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
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
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
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
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
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
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
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
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
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
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
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 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 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
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
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 (240)

Does John Law's 1987 paper itself (or a citation record) confirm he coined "heterogeneous engineering," correcting the vault's earlier misattribution to Donald MacKenzie?

question answered 2026-09-13 · heterogeneous-engineering, john-law, donald-mackenzie, unverified-priority, primary-source-needed
Does an FBI file (or another primary) confirm the McCarthy-era subpoena that, per an uncited Wikipedia sentence, ended Ludwik Rajchman's US public-health career?

question answered 2026-09-12 · ludwik-rajchman, mccarthyism, cold-war-science, unicef, quote-verification
Does a peer-reviewed history (Pugh 1984) or An Wang's own oral history corroborate the MIT Core Report's characterization of Forrester as self-mythologizing about core memory?

question answered 2026-09-11 · computing-history, historiography, jay-forrester, an-wang, attribution-myth
Bit2Watt (arXiv:2607.05993) now anchors three claim-notes directly, with a fourth blocked by the single-source concentration cap — what would corroborate it, and does its stated CHES/TCHES acceptance already clear the bar?

question answered 2026-09-09 · single-source-cap, corroboration, bit2watt, watt2bit, hardware-security
Did Hubert Dreyfus actually cite Michael Polanyi's tacit-knowledge epistemology as an influence on his AI critique, or is that only a Wikipedia editorial gloss?

question answered 2026-09-09 · michael-polanyi, dreyfus, tacit-knowledge, ai-critique, philosophy-of-ai
Does A.E. Clark's 2016 Law & Liberty essay name Paul Ehrlich specifically, or only the Club of Rome, as the source of one-child-policy anxiety?

question answered 2026-09-05 · china, one-child-policy, paul-ehrlich, law-liberty, verification
Does the 1982 New York Times quote Joseph Weizenbaum saying 'to him who has only a hammer, the whole world looks like a nail,' verbatim and attributed to Maslow?

question answered 2026-09-05 · quote-investigation, misattribution, law-of-the-instrument, weizenbaum, verification
Does Kaelbling, Littman & Cassandra (1998)'s misdating of Åström's 1965 paper as 1995 appear in the original print edition of Artificial Intelligence 101, or was it introduced later (e.g. in re-typesetting the PDF now hosted on the lead author's MIT site)?

question answered 2026-09-02 · karl-astrom, kaelbling, pomdp, citation-error, transmission-drift
Do Caracciolo & Sportiello (2012) and Dickman et al. (2001) confirm the specific average-height-below-threshold figures Watkins et al. (2015) attributes to them?

question answered 2026-08-30 · self-organized-criticality, complex-systems, threshold, sandpile-model, verification
Does Simon's 1992 Psychological Science paper 'What Is an Explanation of Behavior?' contain the 'intuition is nothing more and nothing less than recognition' quote verbatim?

question answered 2026-08-29 · verification, herbert-simon, expert-intuition, primary-source, source-disambiguation
Does a cleaner scan of Merton's 1968 'The Matthew Effect in Science' (AAAS/Science venue-of-record, or JSTOR) yield a verbatim quote where the garfield.library.upenn.edu reprint's OCR does not?

question answered 2026-08-28 · robert-merton, matthew-effect, quote-verification, ocr, garfield-library
Verify Nicely's exact Pentium FDIV report-to-Intel and public-disclosure dates against a primary

question answered 2026-08-26 · verification, pentium-fdiv-bug, thomas-nicely, history-of-computing
Does Wang Hongzhe's 'Five Moments in the History of Chinese Cybernetics' (2025), p.119, confirm Qian Xuesen founded China's first cybernetics lab with Song Jian in 1962?

question answered 2026-08-26 · china, cybernetics, song-jian, qian-xuesen, cold-war-science
Do Qian Xuesen's own 1989 book and the 2009 American Journal of Chinese Medicine article confirm his qigong/ESP 'somatic science' advocacy as Wikipedia describes it?

question answered 2026-08-26 · china, qigong, pseudoscience, qian-xuesen, cold-war-science
What title did K. Chandrasekharan hold when he overruled Pontryagin at the May 1978 Paris IMU Executive Committee luncheon?

question answered 2026-08-25 · history-of-mathematics, soviet-union, fields-medal, institutions, verification
Does Olli Lehto's Mathematics Without Borders, read directly, confirm the Paris 1978 luncheon quote attributing 'second-rate mathematician' to Pontryagin?

question answered 2026-08-24 · history-of-mathematics, soviet-union, antisemitism, fields-medal, verification
Is the 'Rens Strijbos' named in Kwakernaak's 2025 obituary the same person as R.C.W. Strijbos, Olsder's 1976 co-author?

question answered 2026-08-24 · r-c-w-strijbos, huibert-kwakernaak, university-of-twente, control-theory, one-child-policy-historiography
Did the Sulsky–Chen–Schreyer Material Point Method collaboration actually start in 1993, or does it trace back to an earlier Sandia report (SAND91-7095)?

question answered 2026-08-21 · material-point-method, sandia, primary-source-verification, history-of-computing
Is Olsder & Strijbos's 1976 'Population planning' paper actually the specific 'Dutch paper' Clark's 2016 essay describes, or could Clark instead mean Kwakernaak's 1977 paper?

question answered 2026-08-21 · china, population-policy, one-child-policy, historiography, song-jian
Does the actual 1985 Prague conference abstract (or a later first-person OPT retrospective) fix a December 1984 submission or completion date?

question answered 2026-08-21 · ozone-hole, nasa, ozone-processing-team, toms, verification
Does Michael Biggs's 'Dying without Killing' (2005) actually establish that self-immolation as protest diffused from Quang Duc into the Soviet bloc?

question answered 2026-08-20 · self-immolation, protest-tactics, cold-war, diffusion, unverified-mechanism
Which specific Greenhalgh publication(s) did A.E. Clark's 2016 essay draw from — and does it also contain Liang Zhongtang's name?

question answered 2026-08-17 · china, population-policy, one-child-policy, historiography, song-jian
Do Pitman's own or Ellis's own 1837/1843/1845 materials confirm the EPA co-creation and Sound-Hand priority (currently Tier 4 only)?

question answered 2026-08-17 · isaac-pitman, alexander-john-ellis, english-phonotypic-alphabet, sourcing-floor, history-of-linguistics
Does Steck, Ekanadham & Kallus (WWW 2024 Companion) count as "refereed" for the single-source-concentration cap, and has the vault's embedding-false-friend genre already reached it?

question answered 2026-08-16 · sources-floor, single-source-concentration, cosine-similarity, embedding-false-friend, steck
Does Kyle McDonald's December 5, 2022 X post independently apply the low-background-steel analogy to AI training data — and does it read as it's described secondhand?

question answered 2026-08-16 · ai-training-data, model-collapse, metaphor, attribution, verification
Does the compartment-level literature (Böcker's refs 12, 22, 23) support that spaceflight loses more trabecular bone while bed rest loses more cortical bone?

question answered 2026-08-15 · space-medicine, aerospace-physiology, bone-density, trabecular-cortical, bed-rest-analog
Can the 'one-third of cases ambiguous or inconsistent' figure Kelly et al. (2025) attribute to Samet (1975) be located in Samet's original text?

question answered 2026-08-15 · source-evaluation, admiralty-code, verification, intelligence-tradecraft, epistemics
Does Heckerman (1986) verbatim show certainty factors require restrictive independence assumptions and violate commutativity?

question answered 2026-08-10 · david-heckerman, certainty-factors, MYCIN, bayesian-networks, sourcing-floor
Does the Pathfinder Part I paper verbatim support the rule-based → simple-Bayes switch and the expert's accuracy verdict — and where are the magnitude figures?

question answered 2026-08-10 · pathfinder, david-heckerman, eric-horvitz, bayesian-networks, medical-diagnosis
Does Pearl's R-476 verbatim support that Bayesian networks were built to replace certainty factors as a coherent probabilistic alternative?

question answered 2026-08-10 · judea-pearl, bayesian-networks, certainty-factors, expert-systems, sourcing-floor
Does the sentence 'an inappropriate and misleading measure of individual research, especially if used for tenure and promotion' belong to Brian D. Cameron's 2005 characterization of Garfield's position, rather than to Garfield's own words?

question answered 2026-08-07 · bibliometrics, citation-metrics, impact-factor, garfield, source-criticism
Does Icard's own 2023 Intellectica article match the nine-category Honesty×Truth taxonomy as reproduced in his 2024 arXiv paper's Table 6?

question answered 2026-08-07 · intelligence-tradecraft, epistemics, source-evaluation, formal-logic, verification
Does Irwin & Mandel (2023) actually show that intelligence analysts treat confidence as a probability cue rather than a separate quantity?

question answered 2026-08-07 · intelligence-tradecraft, forecasting, epistemics, independence, verification
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 a primary read confirm Thomas Galloway's Royal Astronomical Society offices and 1848 Royal Medal as currently paraphrased from Wikipedia/DNB?

question answered 2026-07-28 · actuarial-history, astronomy, thomas-galloway, sourcing-provenance
Does Quintner's full 1991 text confirm the 'occupation neurosis' wording and name Lucire/Ireland/Bell as the 1980s psychogenic-RSI proponents?

question answered 2026-07-27 · history-of-medicine, occupational-health, neurosis, repetitive-strain-injury, unverified-quote
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
Do Heathcote et al. (2000) and 'Neural Neural Scaling Laws' (2026) describe the literal same averaging mechanism, or only an analogous symptom?

question answered 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 answered 2026-07-25 · electromicrobiology, geobacter, cytochrome, needs-primary, unverified-quant
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
Did Nat Friedman himself, in his own words, describe funding the Vesuvius Challenge as personal curiosity rather than strategy?

question answered 2026-07-20 · vesuvius-challenge, nat-friedman, verification, funding
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
What is the actual model architecture of HNC's Falcon Fraud Manager — is it specifically a supervised backpropagation feedforward network?

question answered 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 answered 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 answered 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 answered 2026-07-12 · verification, hex, topology, brouwer-fixed-point-theorem, david-gale
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 answered 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 answered 2026-07-12 · actuarial-history, edmond-halley, mortality-tables, annuities, verification
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 Good's 1965 'Speculations Concerning the First Ultraintelligent Machine' define the ultraintelligent machine and 'last invention' verbatim?

question answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 2026-07-12 · systolic-array, kung, etymology, verification, hop
Do primary sources confirm the figures for the post-1963 decline in atmospheric background radiation that make low-background steel increasingly unnecessary?

question answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 2026-07-12 · sociology-of-science, merton, multiple-discovery, priority, verification
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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 2026-07-12 · papert, constructionism, mindstorms, verification, primary-source
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 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 answered 2026-07-12 · pontryagin, kelley, bryson, optimal-control, maximum-principle
Is Alroy's shareholder quorum subsampling really the same estimator as Chao & Jost's coverage-based rarefaction, or only a close cousin?

question answered 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 answered 2026-07-12 · rational-analysis, marr-levels, anderson, bayesian-cognition, verification
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
Do Rosenblatt's own memory-transfer reports confirm that his work refuted the molecular-memory effect?

question answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 2026-07-12 · verification, herbert-simon, ai-history, 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 answered 2026-07-12 · self-organized-criticality, complex-systems, threshold, verification, source-discipline
Verify Gunther Stent's 'prematurity' definition and scope condition against his primary 1972 Scientific American text

question answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 2026-07-12 · economics, wrights-law, learning-curve, sourcing
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
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
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
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 answered 2026-07-11 · energy, grid, texas, ercot, interconnection
Is the EUV mirror advantage genuinely tacit institutional know-how (not IP), and is the sub-0.1nm RMS roughness figure accurate?

question answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 2026-07-11 · china, population-policy, one-child-policy, cybernetics, historiography
Verify the 'almost certain' external-attack and withheld-archives quotes against Judge Othman's 2024 Hammarskjöld report itself

question answered 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 answered 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 answered 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 answered 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 answered 2026-07-11 · ibm, antitrust, market-structure, unverified-quant
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 answered 2026-07-11 · mit, jon-kabat-zinn, mbsr, activism, verification
Verify the Kahan / Intel-8087 / IEEE-754 lineage against a primary Kahan source

question answered 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 answered 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 answered 2026-07-11 · neuroscience, cognitive-linguistics, framing, theory-confirmation, verification
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 answered 2026-07-11 · epigraphy, archaeology, text-reproduction, verification, history-of-linguistics
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 answered 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 answered 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 answered 2026-07-11 · economics, labor-economics, immigration, mariel-boatlift, verification
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 answered 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 answered 2026-07-11 · history-of-mathematics, soviet-union, antisemitism, academia, 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 answered 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 answered 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 answered 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 answered 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 answered 2026-07-11 · cognitive-psychology, memory, testimony, source-verification, neisser
What do the primary sources say about Ning Li's 1991 gravitomagnetic proposal and its 2011 replication?

question answered 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 answered 2026-07-11 · nobel-prize, institutional-rules, verification, posthumous-award
Verify node-ipc's '~1 million weekly downloads' against a primary registry source

question answered 2026-07-11 · node-ipc, npm, protestware, software-supply-chain, verification
What are the primary-sourced founding dates, enrollment figures, and educational mechanism for the emergence of Nicaraguan Sign Language?

question answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 2026-07-11 · splines, schoenberg, actuarial-history, etymology, myth-correction
Do the Huygens critical edition and Spinoza's Letter 32 verbatim support the 'Spinoza's dish still scratch-free in 1687' claim?

question answered 2026-07-11 · history-of-science, optics, spinoza, tacit-knowledge, verification
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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 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 answered 2026-07-11 · art-forgery, wwii, criminal-law, verification, source-discipline
Verify the waldo-teleoperator lineage: Goertz's Argonne master–slave manipulator and The Character Shop's 'Waldo' trademark, against quote-fetched primary sources

question answered 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 answered 2026-07-11 · computer-architecture, memory-wall, history-of-computing, verification
Is Zeiss genuinely the sole supplier of ASML's EUV projection optics, and does '80% of all microchips' hold against an independent source?

question answered 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 answered 2026-07-11 · waddington, cybernetics, wiener, developmental-biology, history-of-science
Why did Congress move the US weather service from the Army Signal Service to the civilian Department of Agriculture in 1890–91?

question answered 2026-07-11 · meteorology, institutions, military-history, weather-bureau, 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
Do the Lukyanov Water Integrator's dates, purpose, and service history rest on more than one Tier-4 source?

question answered 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 answered 2026-07-10 · analog-computing, economics-history, moniac, phillips, unverified-quant
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
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
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
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
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
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 answered 2026-07-09 · complexity-science, regulatory-evolution, punctuated-equilibrium, phase-transition, santa-fe-institute
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
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
Are Gigerenzer's ecological rationality and Oaksford & Chater's rational analysis compatible or contested frameworks?

question answered 2026-07-09 · rationality, bayesian-cognition, ecological-rationality, cognitive-science, verification
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 answered 2026-07-09 · fico, hnc, fraud-detection, neural-networks, unverified-quant
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
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 answered 2026-07-09 · bibliometrics, citation-metrics, impact-factor, garfield, verification
Did medieval judicial torture exist specifically to convert a 'half-proof' into the 'full proof' of a confession?

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

question answered 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 answered 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 answered 2026-07-09 · computer-history, microsoft, altair, verification, unverified
Do LBNL's 'Queued Up' primary figures confirm the ~2,600 GW queue total and ~5-year median interconnection time?

question answered 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 answered 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 answered 2026-07-09 · lighthill-report, ai-winter, symbolic-ai, verification, history-of-ml
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 answered 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 answered 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 answered 2026-07-09 · embeddings, matryoshka-representation-learning, openai, nomic, retrieval
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 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 answered 2026-07-09 · cliodynamics, seshat, turchin, verify-quote, historiography
Can Telnyx's voice-AI colocation architecture (GPUs in 17 telephony PoPs, on-net MPLS pipeline) be confirmed outside its own marketing?

question answered 2026-07-09 · voice-AI, infrastructure, telecom, latency, Telnyx
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
Did the US government ever formally retract the 1981 'Yellow Rain' chemical-weapons accusation against the USSR?

question answered 2026-07-09 · cold-war-history, chemical-weapons, verification, yellow-rain
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
Does Perceptrons (1969) p. 232 contain the 'intuitive judgment … sterile' passage verbatim?

question answered 2026-07-07 · verification, perceptrons, minsky-papert, primary-source
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