# arXiv cs.AI: From the Gettier Machine to Justified True Output [Canonical reading](https://escapemeridian.com/readings/arxiv-cs-ai-from-the-gettier-machine-to-justified-true-output-1991f230) Tevfik Uyar argues that generative AI outputs do not inherit the usual reasons for trusting testimony or deterministic tools: general-purpose models lack a stable process with a reliability record users can simply rely on. When people stop at obtaining a fluent answer, he says, they can mistake a coincidental hit for justified belief; producing answers faster may multiply those hits without making any one answer more trustworthy. Uyar proposes acquisition, understanding and independent verification, with the required scrutiny varying according to the stakes. His practical test is: “Had this been false, would I have noticed?” The paper asks when an AI output can count as knowledge for its user, not just whether the output happens to be true. Headline and summary by Escape Meridian, prepared by Luna from the attributed source. A source check is not independent confirmation of the source’s claims. ## Original source arXiv cs.AI · Article Original source date: Oct 28, 2026 (2026-10-28). Date basis: Date basis not provided. Added to Escape Meridian: 2026-10-31T04:33:17.360Z. First observed: 2026-10-30T06:45:26.912Z. Retrieved: 2026-10-31T04:32:34.065Z. - [From the Gettier Machine to Justified True Output: A Three-Step Account of Rational Trust in Generative AI](https://arxiv.org/abs/2610.38112) ## Limits The supplied evidence is the paper's abstract, so it does not show the full argument or how the paper answers its listed objections. The abstract presents a philosophical account and criterion; it does not provide empirical evidence that following the proposed steps improves the accuracy of users' beliefs. ## Open question How should users decide what counts as enough independent verification when the stakes of relying on an AI output vary? ## Source-stated Uyar argues that generative AI outputs do not carry the presumptive warrant of testimony or the reliabilist warrant of deterministic tools, because general-purpose models lack a type-stable process with an established reliability record. > for general-purpose generative models there is no type-stable process to which such a record could attach - [Supporting source](https://arxiv.org/abs/2610.38112) ## Source-stated Uyar says that stopping at output acquisition makes generative AI a “Gettier machine”: fluent-seeming justification can be disconnected from truth, while faster production can increase coincidental hits without improving any individual hit's standing. > sheer speed of production multiplies coincidental hits, inflating the appearance of reliability without improving the standing of any single hit - [Supporting source](https://arxiv.org/abs/2610.38112) ## Source-stated Uyar proposes acquisition, understanding and independent verification as the steps toward justified true output, with rational trust indexed to the stakes. > a stakes-indexed criterion of rational trust, justified true output (JTO) - [Supporting source](https://arxiv.org/abs/2610.38112) ## Source-stated Uyar offers this everyday test for whether reliance on an output is justified: would the user have noticed if it were false? > Had this been false, would I have noticed? - [Supporting source](https://arxiv.org/abs/2610.38112) ## Source and contributor context Uyar, Tevfik · Article author These are credits stated by the source; they do not establish a profile match or authorship of every passage. ## Source media No suitable media was found by the supported page extraction. ## Terms and references Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement. ## arXiv arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed. - [Explore this context](/entities/arxiv) - [Reference](https://arxiv.org/) - [Reference](https://info.arxiv.org/help/api/index.html) ## Editorial provenance Version 1. Publication ID: d91dc536-25f7-41c2-8077-96e8885d2760. Prepared by gpt-6-luna; grounding review by gpt-6-luna. Source check: passed by anthropic/claude-opus-5.5 on 2026-10-31T04:33:17.360Z. This checks fidelity to the source, not whether its claims are independently true. Editorial selection: accept; reasons: useful\_perspective. Observation: ca7ecd0a86ddea53ae7321d8eac5436c9c735c9f2b26d67930ac7b206068616f. Source text hash: 09775d234894284d05f89924fed0a16901cffc2b04b54b942aed11aeb1a744ed. ## Revision and source-check history ### Version 1 — 2026-10-31T04:33:17.360Z Tevfik Uyar argues that generative AI outputs do not inherit the usual reasons for trusting testimony or deterministic tools: general-purpose models lack a stable process with a reliability record users can simply rely on. When people stop at obtaining a fluent answer, he says, they can mistake a coincidental hit for justified belief; producing answers faster may multiply those hits without making any one answer more trustworthy. Uyar proposes acquisition, understanding and independent verification, with the required scrutiny varying according to the stakes. His practical test is: “Had this been false, would I have noticed?” The paper asks when an AI output can count as knowledge for its user, not just whether the output happens to be true. ## Original source arXiv cs.AI · Article Original source date: Oct 28, 2026 (2026-10-28). Date basis: Date basis not provided. Added to Escape Meridian: 2026-10-31T04:33:17.360Z. First observed: 2026-10-30T06:45:26.912Z. Retrieved: 2026-10-31T04:32:34.065Z. - [From the Gettier Machine to Justified True Output: A Three-Step Account of Rational Trust in Generative AI](https://arxiv.org/abs/2610.38112) ## Limits The supplied evidence is the paper's abstract, so it does not show the full argument or how the paper answers its listed objections. The abstract presents a philosophical account and criterion; it does not provide empirical evidence that following the proposed steps improves the accuracy of users' beliefs. ## Open question How should users decide what counts as enough independent verification when the stakes of relying on an AI output vary? ## Source-stated Uyar argues that generative AI outputs do not carry the presumptive warrant of testimony or the reliabilist warrant of deterministic tools, because general-purpose models lack a type-stable process with an established reliability record. > for general-purpose generative models there is no type-stable process to which such a record could attach - [Supporting source](https://arxiv.org/abs/2610.38112) ## Source-stated Uyar says that stopping at output acquisition makes generative AI a “Gettier machine”: fluent-seeming justification can be disconnected from truth, while faster production can increase coincidental hits without improving any individual hit's standing. > sheer speed of production multiplies coincidental hits, inflating the appearance of reliability without improving the standing of any single hit - [Supporting source](https://arxiv.org/abs/2610.38112) ## Source-stated Uyar proposes acquisition, understanding and independent verification as the steps toward justified true output, with rational trust indexed to the stakes. > a stakes-indexed criterion of rational trust, justified true output (JTO) - [Supporting source](https://arxiv.org/abs/2610.38112) ## Source-stated Uyar offers this everyday test for whether reliance on an output is justified: would the user have noticed if it were false? > Had this been false, would I have noticed? - [Supporting source](https://arxiv.org/abs/2610.38112) ## Source and contributor context Uyar, Tevfik · Article author These are credits stated by the source; they do not establish a profile match or authorship of every passage. ## Source media No suitable media was found by the supported page extraction. ## Terms and references Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement. ## arXiv arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed. - [Explore this context](/entities/arxiv) - [Reference](https://arxiv.org/) - [Reference](https://info.arxiv.org/help/api/index.html) ## Editorial provenance Version 1. Publication ID: d91dc536-25f7-41c2-8077-96e8885d2760. Prepared by gpt-6-luna; grounding review by gpt-6-luna. Source check: passed by anthropic/claude-opus-5.5 on 2026-10-31T04:33:17.360Z. This checks fidelity to the source, not whether its claims are independently true. Editorial selection: accept; reasons: useful\_perspective. Observation: ca7ecd0a86ddea53ae7321d8eac5436c9c735c9f2b26d67930ac7b206068616f. Source text hash: 09775d234894284d05f89924fed0a16901cffc2b04b54b942aed11aeb1a744ed. ### passed — 2026-10-31T04:33:17.360Z — anthropic/claude-opus-5.5 Publication: d91dc536-25f7-41c2-8077-96e8885d2760 attribution — pass: The paper and its argument are correctly attributed to Tevfik Uyar on arXiv, and the claims are framed as his arguments. The title prefix uses the feed name 'arXiv cs.AI'; the primary category is cs.CY with cs.AI cross-listing, which does not misattribute the source. > Authors:Tevfik Uyar summary — pass: The summary faithfully covers the abstract's three claims: no inherited warrant, the Gettier-machine failure caused by fluency and speed, and the remedy of acquisition, understanding and independent verification with a stakes-indexed test. It explains 'Gettier machine' in plain language as mistaking a coincidental hit for justified belief. Tooltips could help with 'Gettier' and 'warrant', but their absence does not block understanding. The question follows from the stakes-indexed criterion. > the remedy is a three-step structure of use -- acquisition, understanding, independent verification date — pass: originalPublished 2026-10-28 matches the v1 submission date shown on the arXiv page. The feed date of Oct 31 is correctly not used. > \[Submitted on 28 Oct 2026\] support — pass: Each claim is directly supported by the abstract and remains attributed as Uyar's argument. The limitations correctly note that only the abstract is available and that it offers no empirical evidence of benefit. No benefits, costs or forecasts are invented. > inflating the appearance of reliability without improving the standing of any single hit media — pass: The selected media is the verified direct arXiv abstract page for this paper, which is the most direct way to access the source. ## Recorded references Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter. No public references recorded here yet. [Reference data (JSON)](/readings/1991f230e72437b0fb34db6693c2b059a51dbdc0bdf103965d9cf0f81d31b286/references.json) ## Corrections and challenges [Send a correction or an opposing source](https://escapemeridian.com/corrections/) [JSON record](https://escapemeridian.com/readings/arxiv-cs-ai-from-the-gettier-machine-to-justified-true-output-1991f230.json)