{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiak4xgzfakb3j5i2mwu6mbcurdta2b6a5xzbkwgvwa2r6jfxknok4",
    "uri": "at://did:plc:lpgt43utmdtifoyu2eqoexbz/app.bsky.feed.post/3mmezqr4xukg2"
  },
  "path": "/26/05/0049001-an-ai-model-has-disproved",
  "publishedAt": "2026-05-21T16:58:00.000Z",
  "site": "https://kottke.org",
  "tags": [
    "an AI model has disproved an 80-year-old conjecture by Paul Erdős"
  ],
  "textContent": "This is impressive: an AI model has disproved an 80-year-old conjecture by Paul Erdős. “The proof came from a new general-purpose reasoning model, rather than from a system trained specifically for mathematics.”",
  "title": "This is impressive:  an AI model has disproved an...",
  "updatedAt": "2026-05-21T16:58:00.000Z"
}