{
  "@context": "https://schema.org",
  "@id": "https://aggr.aymericbeaumet.com/items/simonwillison-net/2026-10-07-quoting-jake-boggan/#webpage",
  "@type": [
    "WebPage",
    "ArchiveComponent"
  ],
  "articleBody": "> I was a graph theory junkie long ago and even moved to Budapest for awhile to study among the greats. While I was there I started working on Barnette's Conjecture which came to occupy my thoughts over the next 24 years of my life, on and off as I worked in many different fields. Last summer I even thought for a few days that I had actually solved it.\n>\n> But it's supposedly proven here - [problem 180](https://github.com/openai/math/blob/main/lean/docs/180.md). I don't know what to think exactly. I spent thousands of hours on that problem. I really enjoyed it. Hearing that it is solved somehow makes me sad in a far-off way, like hearing an ex-girlfriend died suddenly in a car crash. I don't know, there's probably a lot of people feeling odd emotions tonight.\n\n— [Jake Boggan](https://news.ycombinator.com/item?id=49984923#49987367), Hacker News comment on [openai/math](https://github.com/openai/math)\n",
  "authors": [],
  "captured_at": "2026-10-07T05:44:45.801061649+00:00",
  "category": "programming",
  "content_html": "<blockquote>\n<p>I was a graph theory junkie long ago and even moved to Budapest for awhile to study among the greats. While I was there I started working on Barnette's Conjecture which came to occupy my thoughts over the next 24 years of my life, on and off as I worked in many different fields. Last summer I even thought for a few days that I had actually solved it.</p>\n<p>But it's supposedly proven here - <a target=\"_blank\" rel=\"noopener noreferrer\" href=\"https://github.com/openai/math/blob/main/lean/docs/180.md\">problem 180</a>. I don't know what to think exactly. I spent thousands of hours on that problem. I really enjoyed it. Hearing that it is solved somehow makes me sad in a far-off way, like hearing an ex-girlfriend died suddenly in a car crash. I don't know, there's probably a lot of people feeling odd emotions tonight.</p>\n</blockquote>\n<p>— <a target=\"_blank\" rel=\"noopener noreferrer\" href=\"https://news.ycombinator.com/item?id=49984923#49987367\">Jake Boggan</a>, Hacker News comment on <a target=\"_blank\" rel=\"noopener noreferrer\" href=\"https://github.com/openai/math\">openai/math</a></p>\n",
  "content_markdown": "> I was a graph theory junkie long ago and even moved to Budapest for awhile to study among the greats. While I was there I started working on Barnette's Conjecture which came to occupy my thoughts over the next 24 years of my life, on and off as I worked in many different fields. Last summer I even thought for a few days that I had actually solved it.\n>\n> But it's supposedly proven here - [problem 180](https://github.com/openai/math/blob/main/lean/docs/180.md). I don't know what to think exactly. I spent thousands of hours on that problem. I really enjoyed it. Hearing that it is solved somehow makes me sad in a far-off way, like hearing an ex-girlfriend died suddenly in a car crash. I don't know, there's probably a lot of people feeling odd emotions tonight.\n\n— [Jake Boggan](https://news.ycombinator.com/item?id=49984923#49987367), Hacker News comment on [openai/math](https://github.com/openai/math)\n",
  "dateCreated": "2026-10-07T05:44:45.801061649+00:00",
  "date_created": "2026-10-07T04:47:55+00:00",
  "date_modified": "2026-10-07T04:47:55+00:00",
  "date_published": "2026-10-07T04:47:55+00:00",
  "description": "I was a graph theory junkie long ago and even moved to Budapest for awhile to study among the greats. While I was there I started working on Barnette's Conjecture which came to occupy my thoughts over the next 24 years of my life, on and…",
  "external_url": "https://simonwillison.net/2026/Oct/7/jake-boggan/",
  "git": {
    "commit": "ebb0941c5c06a2ab2377342d607535262a3e969e",
    "path": "items/simonwillison-net/2026/10/2026-10-07-quoting-jake-boggan.md",
    "permalink": "https://github.com/aymericbeaumet/aggr-instance/blob/ebb0941c5c06a2ab2377342d607535262a3e969e/items/simonwillison-net/2026/10/2026-10-07-quoting-jake-boggan.md"
  },
  "id": "urn:aggr:item:8dee05128e7368ebfe90b95e09c900a724fad9b0",
  "isBasedOn": {
    "@id": "https://simonwillison.net/2026/Oct/7/jake-boggan/"
  },
  "mainEntity": {
    "@id": "https://simonwillison.net/2026/Oct/7/jake-boggan/",
    "@type": "CreativeWork",
    "archivedAt": {
      "@id": "https://aggr.aymericbeaumet.com/items/simonwillison-net/2026-10-07-quoting-jake-boggan/#webpage"
    },
    "dateModified": "2026-10-07T04:47:55+00:00",
    "datePublished": "2026-10-07T04:47:55+00:00",
    "headline": "Quoting Jake Boggan",
    "timeRequired": "PT1M",
    "url": "https://simonwillison.net/2026/Oct/7/jake-boggan/",
    "wordCount": 141
  },
  "name": "Archived snapshot: Quoting Jake Boggan",
  "preview": null,
  "reading_minutes": 1,
  "replicated_at": null,
  "source": "simonwillison-net",
  "source_name": "Simon Willison's Weblog",
  "summary": "I was a graph theory junkie long ago and even moved to Budapest for awhile to study among the greats. While I was there I started working on Barnette's Conjecture which came to occupy my thoughts over the next 24 years of my life, on and off as I worked in many different fields. Last summer I even thought for a few days that I had actually solved it. But it's supposedly proven here - problem 180. I don't know what to think exactly. I spent thousands of hours on that problem. I really enjoyed it. Hearing that it is solved somehow makes me sad in a far-off way, like hearing an ex-girlfriend died suddenly in a car crash. I don't know, there's probably a lot of people feeling odd emotions tonight. — Jake Boggan, Hacker News comment on openai/math Tags: openai, mathematics, deep-blue, llms, ai, generative-ai",
  "tags": [
    "ai",
    "deep-blue",
    "generative-ai",
    "llms",
    "mathematics",
    "openai"
  ],
  "temporalCoverage": "2026-10-07T05:44:45.801061649+00:00",
  "title": "Quoting Jake Boggan",
  "url": "https://aggr.aymericbeaumet.com/items/simonwillison-net/2026-10-07-quoting-jake-boggan/",
  "word_count": 141
}