Topic
Science & health
Research claims, medicine and discoveries credited to AI. 8 claims checked, newest first; each links to its receipts.
Science & health: every check
- TRUE, BUT · Scope SwapOpenAI said a Lean formalization backed its Navier-Stokes proof. An arXiv paper finds the Lean code uses five extra derivatives where the written proof claims four.14 Oct 2026 · OpenAI, research post (8 Sep 2026); its Lean check tested in an arXiv paper (6 Oct 2026)
- TRUE, BUT · Lab Not FieldTen minutes of AI erodes your ability to persist, Berkeley's headline says. The study measured skipped problems on a paid online task, three test problems each, and its largest trial found the skip gap was not significant.13 Oct 2026 · Berkeley News (UC Berkeley), headline on a 9 Oct 2026 story about an arXiv preprint; reached the Hacker News front page
- TRUE, BUT · Narrowed SuperlativeAnthropic says Claude discovered a CRISPR-like enzyme system. Its own post says the function is not yet known, The Next Web reports all ten reruns of the search missed the array, and a Copenhagen researcher says his unpublished work describes the same finding.12 Oct 2026 · Anthropic, life sciences group announcement (23 Sep 2026), and Dario Amodei on X
- TRUE, BUT · Self-MarkedQ2D-Web is a public leaderboard of 69,721 queries from Perplexity's own traffic. The paper says the benchmark stays private.9 Oct 2026 · Perplexity, Q2D-Web announcement (September 2026)
- TRUE, BUT · Self-MarkedOpenAI dropped hundreds of AI math papers at once. Its own README says about 42% of the headline results are machine checked.8 Oct 2026 · OpenAI, "Sharing AI progress in mathematics" post and openai/math repository, top of Hacker News (Oct 6, 2026)
- TRUE, BUT · Lab Not FieldKhan Academy sells Khanmigo as an always-available tutor. A two-year trial found students rarely asked it anything.6 Oct 2026 · Khan Academy's Khanmigo learner page, tested by an EdWorkingPaper trial posted to Hacker News (Oct 6, 2026)
- VERIFIEDAn AI beat Stratego's most decorated player 15 to 1 with 4 draws, and the paper backs it. The "few thousand dollars" is the final training run, not the whole project.3 Oct 2026 · Ars Technica (Oct 1, 2026), reporting the Ataraxos team's paper
- VERIFIEDAnthropic let Claude agents trade books for 201 of its staff after a five-minute chat, and says the agents guessed people's tastes right on 61% of book pairs. True, and Anthropic says what the summaries skip: a coin flip scores 50%.26 Sept 2026 · Anthropic ('Project Swap' research post), amplified by TLDR AI