{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiegkgdayoq2izz26wrwomppxktxitptulsxeqq54lf5pqwbsc4s7a",
    "uri": "at://did:plc:k7h5fn3kdhjpj37pc6yhno2o/app.bsky.feed.post/3mep66plwzqd2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreihfak4viigsapshkzy46vgjprdhb3k7aqcby3o734oea3ew7mbwde"
    },
    "mimeType": "image/jpeg",
    "size": 88819
  },
  "path": "/article/ai-uncovers-solutions-to-erdos-problems-moving-closer-to-transforming-math/",
  "publishedAt": "2026-02-12T21:56:00.000Z",
  "site": "https://www.scientificamerican.com",
  "textContent": "LLMs have recently helped find solutions to a number of minor longstanding problems. But a new plan called First Proof is really putting them to the test",
  "title": "AI uncovers solutions to Erdős problems, moving closer to transforming math"
}