{
  "id": 8435483,
  "title": "I vibed a proof of Conway's conjecture",
  "url": "https://urgent.news/2026/09/18/i-vibed-a-proof-of-conways-conjecture-8435483",
  "topic": "tech",
  "section": "Tech",
  "published": "2026-09-18T14:36:10.000Z",
  "source": {
    "name": "Hacker News Best",
    "slug": "hacker-news-best",
    "url": "https://overreacted.io/how-i-vibed-a-proof-of-conways-conjecture/"
  },
  "original_language": "en",
  "account": "In a recent development, a non-expert in mathematics managed to create a Lean proof for a 50-year-old conjecture proposed by John Conway known as Conway's refinement conjecture. The conjecture states that omnific integers possess a refinement property: if ab = cd, then there exist integers e, f, g, h such that a = ef, b = gh, c = eg, and d = fh. While the proof has not yet been independently verified by mathematicians, the author of the proof believes it to be correct and invites potential refutations. The proof has passed the mechanical checks from the Palomar registry and has been deemed likely accurate by some individuals familiar with both Lean and the field.",
  "summary": "https://github.com/gaearon/conway-refinement#why-i-think-its... Comments URL: https://news.ycombinator.com/item?id=49755024 Points: 239 # Comments: 222",
  "key_points": [],
  "editors_take": null,
  "illustration": null,
  "coverage": {
    "outlets": 2,
    "also_reported_by": [
      {
        "outlet": "Hacker News",
        "title": "I Vibed a Proof of Conway's Conjecture",
        "url": "https://urgent.news/2026/09/18/i-vibed-a-proof-of-conways-conjecture",
        "published": "2026-09-18T14:36:10.000Z"
      }
    ]
  },
  "ai_generated": true,
  "disclaimer": "Summaries, key points and the editor’s take are written by software from other outlets’ reporting and may contain errors — always check the linked original."
}