2026-10-11 17:11 UTC

Independent mathematical review will determine whether the AI-linked counterexample validly disproves the Dinitz-Garg-Goemans conjecture.

state: expiredheat: lowuncertainty: highknownscott: lowai-math conjecture-discoveryDmitry RybinYefim DinitzNaveen GargMichel Goemans

What is this?

The case concerns a claimed AI-linked counterexample purporting to show that the Dinitz-Garg-Goemans conjecture is false. The supplied summary attributes the reported progress to an Amazon team, while an evidence title points to a credited post and linked AI chat containing the proposed counterexample; its mathematical validity remains pending independent expert review. The search snippets mostly discuss other AI-mathematics developments, so the Amazon attribution, Dmitry Rybin’s role, and the counterexample’s substance are not independently corroborated here.

Why it matters to Scott

This is another pending-verification instance of the position already captured in Scott’s “Witness Not Oracle ebook” and “Mechanically Different Verifiers”: an AI-linked mathematical claim should remain a checkable witness package rather than be trusted as a verdict. The radar already tracks several materially similar expert-review cases, so absent independent validation or details about the discovery process, this adds little beyond another example of the established pattern.
ip:source.witness-not-oracle-ebookip:concept.mechanically-different-verifiersradar:claude-fable-jacobian-counterexampleradar:gpt-5-6-convex-proofradar:proofatlas-collatz-formalizationradar:gpt-5-6-cycle-double-cover-proof
queries asked of Scott's wikis
  • AI-generated mathematics and independent verification
  • AI counterexample search versus proof generation
  • formal verification of LLM mathematical claims
  • human review workflows for AI-discovered conjectures
  • provenance and reproducibility of AI research outputs
  • AI systems for automated conjecture discovery

Measured heat

no measured readings yet — the hourly heat pass fills this in

How the heat travelled

no chain yet — the hourly chain pass fills this in

Evidence (3) — ⭐ canonical anchor

sourceobjectauthorscorecomments
🟠 redditThe Dinitz-Garg-Goemans conjecture is false
singularity
SGC-UNIT-555413152
🟧 echo.x ⭐The credited post claims that the Dinitz-Garg-Goemans conjecture is false, with the echo linking an AI chat containing the proposed countereDmitry Rybin——
🟧 hnDinitz-Garg-Goemans conjecture proven false by GPT 5.6virgildotcodes10

Interpretation history

Decision trace